Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование
Identity Through Change, Category Theory and Homotopy Theory. / Rodin, Andrei.
Axiomatic Method and Category Theory. Springer Nature, 2014. стр. 175-209 (Synthese Library; Том 364).Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование
}
TY - CHAP
T1 - Identity Through Change, Category Theory and Homotopy Theory
AU - Rodin, Andrei
N1 - Publisher Copyright: © 2014, Springer International Publishing Switzerland.
PY - 2014
Y1 - 2014
N2 - The replacement of the equivalence xEy by the identity x = y discussed by Frege (Sect. 6.5 ) allows for an interpretation, which differs from Frege’s. Namely, equivalence E can be understood as an invertible transformation (rather than relation), which turns x into y and vice versa; then the identity = becomes the identity through this transformation.
AB - The replacement of the equivalence xEy by the identity x = y discussed by Frege (Sect. 6.5 ) allows for an interpretation, which differs from Frege’s. Namely, equivalence E can be understood as an invertible transformation (rather than relation), which turns x into y and vice versa; then the identity = becomes the identity through this transformation.
KW - Category Theory
KW - Homotopy Theory
KW - Identity Morphism
KW - Type Theory
KW - Weak Equivalence
UR - http://www.scopus.com/inward/record.url?scp=85117154029&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-00404-4_7
DO - 10.1007/978-3-319-00404-4_7
M3 - Chapter
AN - SCOPUS:85117154029
SN - 978-3-319-37551-9
T3 - Synthese Library
SP - 175
EP - 209
BT - Axiomatic Method and Category Theory
PB - Springer Nature
ER -
ID: 92471631