Matches in SemOpenAlex for { <https://semopenalex.org/work/W48220307> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W48220307 abstract "We introduce a sequent system for basic category-theoretic reasoning suitable for computer implementation. We illustrate its use by giving a complete formal proof that the functor categories Fun[C× D, E] and Fun[C, Fun[D, E]] are naturally isomorphic." @default.
- W48220307 created "2016-06-24" @default.
- W48220307 creator A5053923311 @default.
- W48220307 date "2004-09-08" @default.
- W48220307 modified "2023-09-24" @default.
- W48220307 title "Toward the Automation of Category Theory" @default.
- W48220307 cites W1487667540 @default.
- W48220307 cites W1489565250 @default.
- W48220307 cites W1504975584 @default.
- W48220307 cites W1586167239 @default.
- W48220307 cites W1591339513 @default.
- W48220307 cites W1599663594 @default.
- W48220307 cites W1985548572 @default.
- W48220307 cites W1996454832 @default.
- W48220307 cites W1997143185 @default.
- W48220307 cites W2021257181 @default.
- W48220307 cites W2054830285 @default.
- W48220307 cites W2120713972 @default.
- W48220307 cites W2136202785 @default.
- W48220307 cites W622285400 @default.
- W48220307 cites W63176152 @default.
- W48220307 hasPublicationYear "2004" @default.
- W48220307 type Work @default.
- W48220307 sameAs 48220307 @default.
- W48220307 citedByCount "1" @default.
- W48220307 crossrefType "journal-article" @default.
- W48220307 hasAuthorship W48220307A5053923311 @default.
- W48220307 hasConcept C108710211 @default.
- W48220307 hasConcept C115901376 @default.
- W48220307 hasConcept C118615104 @default.
- W48220307 hasConcept C127413603 @default.
- W48220307 hasConcept C136119220 @default.
- W48220307 hasConcept C154945302 @default.
- W48220307 hasConcept C156772000 @default.
- W48220307 hasConcept C199343813 @default.
- W48220307 hasConcept C199360897 @default.
- W48220307 hasConcept C202444582 @default.
- W48220307 hasConcept C2318724 @default.
- W48220307 hasConcept C2524010 @default.
- W48220307 hasConcept C2777686260 @default.
- W48220307 hasConcept C33923547 @default.
- W48220307 hasConcept C41008148 @default.
- W48220307 hasConcept C54884031 @default.
- W48220307 hasConcept C62073222 @default.
- W48220307 hasConcept C65880906 @default.
- W48220307 hasConcept C71924100 @default.
- W48220307 hasConcept C78519656 @default.
- W48220307 hasConcept C89421646 @default.
- W48220307 hasConcept C94375191 @default.
- W48220307 hasConceptScore W48220307C108710211 @default.
- W48220307 hasConceptScore W48220307C115901376 @default.
- W48220307 hasConceptScore W48220307C118615104 @default.
- W48220307 hasConceptScore W48220307C127413603 @default.
- W48220307 hasConceptScore W48220307C136119220 @default.
- W48220307 hasConceptScore W48220307C154945302 @default.
- W48220307 hasConceptScore W48220307C156772000 @default.
- W48220307 hasConceptScore W48220307C199343813 @default.
- W48220307 hasConceptScore W48220307C199360897 @default.
- W48220307 hasConceptScore W48220307C202444582 @default.
- W48220307 hasConceptScore W48220307C2318724 @default.
- W48220307 hasConceptScore W48220307C2524010 @default.
- W48220307 hasConceptScore W48220307C2777686260 @default.
- W48220307 hasConceptScore W48220307C33923547 @default.
- W48220307 hasConceptScore W48220307C41008148 @default.
- W48220307 hasConceptScore W48220307C54884031 @default.
- W48220307 hasConceptScore W48220307C62073222 @default.
- W48220307 hasConceptScore W48220307C65880906 @default.
- W48220307 hasConceptScore W48220307C71924100 @default.
- W48220307 hasConceptScore W48220307C78519656 @default.
- W48220307 hasConceptScore W48220307C89421646 @default.
- W48220307 hasConceptScore W48220307C94375191 @default.
- W48220307 hasLocation W482203071 @default.
- W48220307 hasOpenAccess W48220307 @default.
- W48220307 hasPrimaryLocation W482203071 @default.
- W48220307 hasRelatedWork W1485428282 @default.
- W48220307 hasRelatedWork W1486650876 @default.
- W48220307 hasRelatedWork W1499856877 @default.
- W48220307 hasRelatedWork W1549599666 @default.
- W48220307 hasRelatedWork W1597647169 @default.
- W48220307 hasRelatedWork W1981721492 @default.
- W48220307 hasRelatedWork W1992808226 @default.
- W48220307 hasRelatedWork W2010318487 @default.
- W48220307 hasRelatedWork W2019364596 @default.
- W48220307 hasRelatedWork W2096272593 @default.
- W48220307 hasRelatedWork W2131461835 @default.
- W48220307 hasRelatedWork W2148457973 @default.
- W48220307 hasRelatedWork W2158684383 @default.
- W48220307 hasRelatedWork W2167398525 @default.
- W48220307 hasRelatedWork W2319913266 @default.
- W48220307 hasRelatedWork W2401533028 @default.
- W48220307 isParatext "false" @default.
- W48220307 isRetracted "false" @default.
- W48220307 magId "48220307" @default.
- W48220307 workType "article" @default.