Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
foundational_temp4 [2014/11/10 18:05] nikolaj |
foundational_temp4 [2016/04/07 17:28] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Foundational temp4 ===== | ===== Foundational temp4 ===== | ||
+ | | [[]] $\succ$ $\succ$ [[]] | | ||
==== Guide ==== | ==== Guide ==== | ||
- | |||
- | |[[Set universe]]| | ||
|[[Locally small category]]| | |[[Locally small category]]| | ||
|[[Set]]| | |[[Set]]| |