The following pages link to (Q3803296):
Displaying 4 items.
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- Monoidal categories with natural numbers object (Q920197) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- Are the traditional philosophies of mathematics really incompatible? (Q1323041) (← links)
