Matches in SemOpenAlex for { <https://semopenalex.org/work/W3024508715> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W3024508715 abstract "Isomorphism is central to the structure of mathematics and has been formalized in various ways within dependent type theory. All previous treatments have done this by replacing quantification over sets with quantification over groupoids of some form --- categories in which every morphism is an isomorphism. Quantification over sets is replaced by quantification over standard groupoids in the groupoid model, by quantification over infinity groupoid in Homotopy type theory, and by quantification over morphoids in the morphoid model. Here we give a treatment of isomorphism based on the intuitive notion of sets as collections without internal structure. Quantification over sets remains as quantification over sets. Isomorphism and groupoid structure then emerge from simple but subtle syntactic restrictions on set-theoretic language. This approach more fully unifies the classical ZFC foundations with a rigorous treatments of isomorphism, symmetry, canonicality, functors, and natural transformations. This is all done without reference to category theory." @default.
- W3024508715 created "2020-05-21" @default.
- W3024508715 creator A5033089246 @default.
- W3024508715 date "2019-12-05" @default.
- W3024508715 modified "2023-09-27" @default.
- W3024508715 title "Isomorphism Revisited." @default.
- W3024508715 cites W1560253649 @default.
- W3024508715 cites W2098691999 @default.
- W3024508715 cites W2151520617 @default.
- W3024508715 hasPublicationYear "2019" @default.
- W3024508715 type Work @default.
- W3024508715 sameAs 3024508715 @default.
- W3024508715 citedByCount "0" @default.
- W3024508715 crossrefType "posted-content" @default.
- W3024508715 hasAuthorship W3024508715A5033089246 @default.
- W3024508715 hasConcept C111472728 @default.
- W3024508715 hasConcept C115624301 @default.
- W3024508715 hasConcept C136119220 @default.
- W3024508715 hasConcept C137212723 @default.
- W3024508715 hasConcept C138885662 @default.
- W3024508715 hasConcept C156772000 @default.
- W3024508715 hasConcept C177264268 @default.
- W3024508715 hasConcept C185592680 @default.
- W3024508715 hasConcept C199360897 @default.
- W3024508715 hasConcept C202444582 @default.
- W3024508715 hasConcept C203436722 @default.
- W3024508715 hasConcept C2780586882 @default.
- W3024508715 hasConcept C33923547 @default.
- W3024508715 hasConcept C41008148 @default.
- W3024508715 hasConcept C5961521 @default.
- W3024508715 hasConcept C8010536 @default.
- W3024508715 hasConcept C99633028 @default.
- W3024508715 hasConceptScore W3024508715C111472728 @default.
- W3024508715 hasConceptScore W3024508715C115624301 @default.
- W3024508715 hasConceptScore W3024508715C136119220 @default.
- W3024508715 hasConceptScore W3024508715C137212723 @default.
- W3024508715 hasConceptScore W3024508715C138885662 @default.
- W3024508715 hasConceptScore W3024508715C156772000 @default.
- W3024508715 hasConceptScore W3024508715C177264268 @default.
- W3024508715 hasConceptScore W3024508715C185592680 @default.
- W3024508715 hasConceptScore W3024508715C199360897 @default.
- W3024508715 hasConceptScore W3024508715C202444582 @default.
- W3024508715 hasConceptScore W3024508715C203436722 @default.
- W3024508715 hasConceptScore W3024508715C2780586882 @default.
- W3024508715 hasConceptScore W3024508715C33923547 @default.
- W3024508715 hasConceptScore W3024508715C41008148 @default.
- W3024508715 hasConceptScore W3024508715C5961521 @default.
- W3024508715 hasConceptScore W3024508715C8010536 @default.
- W3024508715 hasConceptScore W3024508715C99633028 @default.
- W3024508715 hasLocation W30245087151 @default.
- W3024508715 hasOpenAccess W3024508715 @default.
- W3024508715 hasPrimaryLocation W30245087151 @default.
- W3024508715 hasRelatedWork W1502490119 @default.
- W3024508715 hasRelatedWork W1539094057 @default.
- W3024508715 hasRelatedWork W1549526500 @default.
- W3024508715 hasRelatedWork W1792540887 @default.
- W3024508715 hasRelatedWork W1833301579 @default.
- W3024508715 hasRelatedWork W1967526238 @default.
- W3024508715 hasRelatedWork W1982975653 @default.
- W3024508715 hasRelatedWork W1992749094 @default.
- W3024508715 hasRelatedWork W2112960774 @default.
- W3024508715 hasRelatedWork W2123595703 @default.
- W3024508715 hasRelatedWork W2301491978 @default.
- W3024508715 hasRelatedWork W2892705544 @default.
- W3024508715 hasRelatedWork W2898803326 @default.
- W3024508715 hasRelatedWork W2921241419 @default.
- W3024508715 hasRelatedWork W2949401727 @default.
- W3024508715 hasRelatedWork W2953612470 @default.
- W3024508715 hasRelatedWork W2981355314 @default.
- W3024508715 hasRelatedWork W3046100620 @default.
- W3024508715 hasRelatedWork W3158092532 @default.
- W3024508715 hasRelatedWork W3164665608 @default.
- W3024508715 isParatext "false" @default.
- W3024508715 isRetracted "false" @default.
- W3024508715 magId "3024508715" @default.
- W3024508715 workType "article" @default.