This is an old revision of the document!
Foundational temp1b
| Foundational temp1 $\succ$ $\succ$ 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
Parents
Sequel of
Related
