Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
foundational_temp4 [2016/04/07 17:28] nikolaj |
foundational_temp4 [2016/04/07 17:32] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Foundational temp4 ===== | ===== Foundational temp4 ===== | ||
- | | [[]] $\succ$ $\succ$ [[]] | | + | | [[Foundational temp3]] $\succ$ Foundational temp4 $\succ$ [[Foundational temp formal power series ]] | |
==== Guide ==== | ==== Guide ==== | ||
|[[Locally small category]]| | |[[Locally small category]]| |