Matches in SemOpenAlex for { <https://semopenalex.org/work/W2295976912> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W2295976912 abstract "When are two types the same? In this paper we argue that isomorphism is a more useful notion than equality. We explain a succinct and elegant approach to establishing isomorphisms, with our focus on showing their existence over deriving the witnesses. We use category theory as a framework, but rather than chasing diagrams or arguing with arrows, we present our proofs in a calculational style. In particular, we hope to showcase to the reader why the Yoneda lemma and adjunctions should be in their reasoning toolbox." @default.
- W2295976912 created "2016-06-24" @default.
- W2295976912 creator A5005240077 @default.
- W2295976912 creator A5063247380 @default.
- W2295976912 date "2010-09-26" @default.
- W2295976912 modified "2023-09-26" @default.
- W2295976912 title "Reason isomorphically!" @default.
- W2295976912 cites W1601383237 @default.
- W2295976912 cites W1978523506 @default.
- W2295976912 cites W2052358159 @default.
- W2295976912 cites W2085858043 @default.
- W2295976912 cites W2153405166 @default.
- W2295976912 cites W2912180130 @default.
- W2295976912 cites W2912203072 @default.
- W2295976912 doi "https://doi.org/10.1145/1863495.1863507" @default.
- W2295976912 hasPublicationYear "2010" @default.
- W2295976912 type Work @default.
- W2295976912 sameAs 2295976912 @default.
- W2295976912 citedByCount "5" @default.
- W2295976912 countsByYear W22959769122012 @default.
- W2295976912 countsByYear W22959769122018 @default.
- W2295976912 countsByYear W22959769122019 @default.
- W2295976912 crossrefType "proceedings-article" @default.
- W2295976912 hasAuthorship W2295976912A5005240077 @default.
- W2295976912 hasAuthorship W2295976912A5063247380 @default.
- W2295976912 hasConcept C41008148 @default.
- W2295976912 hasConceptScore W2295976912C41008148 @default.
- W2295976912 hasLocation W22959769121 @default.
- W2295976912 hasOpenAccess W2295976912 @default.
- W2295976912 hasPrimaryLocation W22959769121 @default.
- W2295976912 hasRelatedWork W2093578348 @default.
- W2295976912 hasRelatedWork W2350741829 @default.
- W2295976912 hasRelatedWork W2358668433 @default.
- W2295976912 hasRelatedWork W2376932109 @default.
- W2295976912 hasRelatedWork W2382290278 @default.
- W2295976912 hasRelatedWork W2390279801 @default.
- W2295976912 hasRelatedWork W2748952813 @default.
- W2295976912 hasRelatedWork W2766271392 @default.
- W2295976912 hasRelatedWork W2899084033 @default.
- W2295976912 hasRelatedWork W3004735627 @default.
- W2295976912 isParatext "false" @default.
- W2295976912 isRetracted "false" @default.
- W2295976912 magId "2295976912" @default.
- W2295976912 workType "article" @default.