Foundational temp1b
| Foundational temp1 $\succ$ Foundational temp1b $\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
