Foundational temp1b
Foundational temp1 ≻ Foundational temp1b ≻ On category theory basics • |
Guide
Fixing framework and axiomatics
After this entry, the chain of definitions start
- List types
- Fix Axiomatization of Cats
- Fix Axiomatization of (Grothendieck-Tarski) set theory