Introduction to Categories and Categorical Logic¶
Abramsky, S., & Tzevelekos, N. (2011). Introduction to Categories and Categorical Logic. New Structures for Physics.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Identity Element
- In type theory the unit type is the identity for the product and the empty type for the sum — the same pattern with isomorphism standing in for equality.
This sourceGives the natural isomorphisms 1 × A ≅ A and A × 1 ≅ A that make the terminal object the unit for products, with the dual construction for coproducts and the initial object, so the unit law holds up to isomorphism rather than equality.
- In type theory the unit type is the identity for the product and the empty type for the sum — the same pattern with isomorphism standing in for equality.
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Not recorded. The single citation of this work carries no recorded support check.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:85063d196383 · see in the full table