DOI

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.

Original languageEnglish
Title of host publicationAxiomatic Method and Category Theory
PublisherSpringer Nature
Pages175-209
Number of pages35
ISBN (Electronic)978-3-319-00404-4
ISBN (Print)978-3-319-37551-9
DOIs
StatePublished - 2014

Publication series

NameSynthese Library
Volume364
ISSN (Print)0166-6991
ISSN (Electronic)2542-8292

    Scopus subject areas

  • History and Philosophy of Science
  • History
  • Language and Linguistics
  • Logic

    Research areas

  • Category Theory, Homotopy Theory, Identity Morphism, Type Theory, Weak Equivalence

ID: 92471631