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¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:85063d196383 · see in the full table