FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953203996> ?p ?o ?g. }

• W2953203996 abstract "Coherence is here demonstrated for sesquicartesian categories, which are categories with nonempty finite products and arbitrary finite sums, including the empty sum, where moreover the first and the second projection from the product of the initial object with itself are the same. (Every bicartesian closed category, and, in particular, the category Set, is such a category.) This coherence amounts to the existence of a faithful functor from categories of this sort freely generated by sets of objects to the category of relations on finite ordinals, and it yields a very easy decision procedure for equality of arrows. Restricted coherence holds also for bicartesian categories where, in addition to this equality for projections, we have that the first and the second injection to the sum of the terminal object with itself are the same. The printed version of this paper (in: R. Kahle et al. eds, Proof Theory in Computer Science, Lecture Notes in Computer Science, vol. 2183, Springer, Berlin, 2001, pp. 78-92) and versions previously posted here purported to prove unrestricted coherence for the bicartesian categories mentioned above. Lemma 5.1 of these versions, on which the proof of coherence for sesquicartesian categories relied too, is however not correct. The present version of the paper differs from the previous ones also in terminology." @default.
• W2953203996 created "2019-06-27" @default.
• W2953203996 creator A5018558191 @default.
• W2953203996 creator A5030384983 @default.
• W2953203996 date "2000-06-13" @default.
• W2953203996 modified "2023-09-27" @default.
• W2953203996 title "Coherent Bicartesian and Sesquicartesian Categories" @default.
• W2953203996 cites W1487264664 @default.
• W2953203996 cites W1508490157 @default.
• W2953203996 cites W1522140971 @default.
• W2953203996 cites W1985063546 @default.
• W2953203996 cites W1994794456 @default.
• W2953203996 cites W2002241150 @default.
• W2953203996 cites W2039977878 @default.
• W2953203996 cites W2049362364 @default.
• W2953203996 cites W2056743217 @default.
• W2953203996 cites W2088729555 @default.
• W2953203996 cites W3037249429 @default.
• W2953203996 hasPublicationYear "2000" @default.
• W2953203996 type Work @default.
• W2953203996 sameAs 2953203996 @default.
• W2953203996 citedByCount "0" @default.
• W2953203996 crossrefType "posted-content" @default.
• W2953203996 hasAuthorship W2953203996A5018558191 @default.
• W2953203996 hasAuthorship W2953203996A5030384983 @default.
• W2953203996 hasConcept C105795698 @default.
• W2953203996 hasConcept C11413529 @default.
• W2953203996 hasConcept C118615104 @default.
• W2953203996 hasConcept C134306372 @default.
• W2953203996 hasConcept C136119220 @default.
• W2953203996 hasConcept C138885662 @default.
• W2953203996 hasConcept C154945302 @default.
• W2953203996 hasConcept C156772000 @default.
• W2953203996 hasConcept C162392398 @default.
• W2953203996 hasConcept C177264268 @default.
• W2953203996 hasConcept C18903297 @default.
• W2953203996 hasConcept C199360897 @default.
• W2953203996 hasConcept C202444582 @default.
• W2953203996 hasConcept C2777759810 @default.
• W2953203996 hasConcept C2781181686 @default.
• W2953203996 hasConcept C2781238097 @default.
• W2953203996 hasConcept C33923547 @default.
• W2953203996 hasConcept C41008148 @default.
• W2953203996 hasConcept C41895202 @default.
• W2953203996 hasConcept C46757340 @default.
• W2953203996 hasConcept C547195049 @default.
• W2953203996 hasConcept C54884031 @default.
• W2953203996 hasConcept C57493831 @default.
• W2953203996 hasConcept C86803240 @default.
• W2953203996 hasConcept C88548561 @default.
• W2953203996 hasConcept C94375191 @default.
• W2953203996 hasConceptScore W2953203996C105795698 @default.
• W2953203996 hasConceptScore W2953203996C11413529 @default.
• W2953203996 hasConceptScore W2953203996C118615104 @default.
• W2953203996 hasConceptScore W2953203996C134306372 @default.
• W2953203996 hasConceptScore W2953203996C136119220 @default.
• W2953203996 hasConceptScore W2953203996C138885662 @default.
• W2953203996 hasConceptScore W2953203996C154945302 @default.
• W2953203996 hasConceptScore W2953203996C156772000 @default.
• W2953203996 hasConceptScore W2953203996C162392398 @default.
• W2953203996 hasConceptScore W2953203996C177264268 @default.
• W2953203996 hasConceptScore W2953203996C18903297 @default.
• W2953203996 hasConceptScore W2953203996C199360897 @default.
• W2953203996 hasConceptScore W2953203996C202444582 @default.
• W2953203996 hasConceptScore W2953203996C2777759810 @default.
• W2953203996 hasConceptScore W2953203996C2781181686 @default.
• W2953203996 hasConceptScore W2953203996C2781238097 @default.
• W2953203996 hasConceptScore W2953203996C33923547 @default.
• W2953203996 hasConceptScore W2953203996C41008148 @default.
• W2953203996 hasConceptScore W2953203996C41895202 @default.
• W2953203996 hasConceptScore W2953203996C46757340 @default.
• W2953203996 hasConceptScore W2953203996C547195049 @default.
• W2953203996 hasConceptScore W2953203996C54884031 @default.
• W2953203996 hasConceptScore W2953203996C57493831 @default.
• W2953203996 hasConceptScore W2953203996C86803240 @default.
• W2953203996 hasConceptScore W2953203996C88548561 @default.
• W2953203996 hasConceptScore W2953203996C94375191 @default.
• W2953203996 hasLocation W29532039961 @default.
• W2953203996 hasOpenAccess W2953203996 @default.
• W2953203996 hasPrimaryLocation W29532039961 @default.
• W2953203996 hasRelatedWork W128576193 @default.
• W2953203996 hasRelatedWork W1550810491 @default.
• W2953203996 hasRelatedWork W1583451149 @default.
• W2953203996 hasRelatedWork W1758773598 @default.
• W2953203996 hasRelatedWork W1787068521 @default.
• W2953203996 hasRelatedWork W2038202577 @default.
• W2953203996 hasRelatedWork W2050478998 @default.
• W2953203996 hasRelatedWork W2063036660 @default.
• W2953203996 hasRelatedWork W2145018595 @default.
• W2953203996 hasRelatedWork W2157204000 @default.
• W2953203996 hasRelatedWork W2183864785 @default.
• W2953203996 hasRelatedWork W2184481877 @default.
• W2953203996 hasRelatedWork W2748748996 @default.
• W2953203996 hasRelatedWork W2803268643 @default.
• W2953203996 hasRelatedWork W2809155339 @default.
• W2953203996 hasRelatedWork W2901350662 @default.
• W2953203996 hasRelatedWork W2952330347 @default.
• W2953203996 hasRelatedWork W2962891698 @default.
• W2953203996 hasRelatedWork W3103596777 @default.
• W2953203996 hasRelatedWork W2916265074 @default.

• next