Identity Through Change, Category Theory and Homotopy Theory

Standard

Identity Through Change, Category Theory and Homotopy Theory. / Rodin, Andrei.

Axiomatic Method and Category Theory. Springer Nature, 2014. p. 175-209 (Synthese Library; Vol. 364).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

Harvard

Rodin, A 2014, Identity Through Change, Category Theory and Homotopy Theory. in Axiomatic Method and Category Theory. Synthese Library, vol. 364, Springer Nature, pp. 175-209. https://doi.org/10.1007/978-3-319-00404-4_7

APA

Rodin, A. (2014). Identity Through Change, Category Theory and Homotopy Theory. In Axiomatic Method and Category Theory (pp. 175-209). (Synthese Library; Vol. 364). Springer Nature. https://doi.org/10.1007/978-3-319-00404-4_7

Vancouver

Rodin A. Identity Through Change, Category Theory and Homotopy Theory. In Axiomatic Method and Category Theory. Springer Nature. 2014. p. 175-209. (Synthese Library). https://doi.org/10.1007/978-3-319-00404-4_7

Author

Rodin, Andrei. / Identity Through Change, Category Theory and Homotopy Theory. Axiomatic Method and Category Theory. Springer Nature, 2014. pp. 175-209 (Synthese Library).

BibTeX

@inbook{48bcfec2d5ce45a2941fe5bb5d65faab,

title = "Identity Through Change, Category Theory and Homotopy Theory",

abstract = "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{\textquoteright}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.",

keywords = "Category Theory, Homotopy Theory, Identity Morphism, Type Theory, Weak Equivalence",

author = "Andrei Rodin",

note = "Publisher Copyright: {\textcopyright} 2014, Springer International Publishing Switzerland.",

year = "2014",

doi = "10.1007/978-3-319-00404-4_7",

language = "English",

isbn = "978-3-319-37551-9",

series = "Synthese Library",

publisher = "Springer Nature",

pages = "175--209",

booktitle = "Axiomatic Method and Category Theory",

address = "Germany",

}

RIS

TY - CHAP

T1 - Identity Through Change, Category Theory and Homotopy Theory

AU - Rodin, Andrei

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