===== 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 ===
[[Foundational temp1]]
=== Related ===
[[Foundational temp1]]