flavors of higher toposes
1-topos
(0,1)-topos
(1,1)-topos = topos
(2,1)-topos
( n , 1 ) (n,1) -topos
(∞,1)-topos ( n n -localic)
\;\;\;\; model topos
2-topos
(2,2)-topos ( n n -localic)
(∞,2)-topos
n n -topos
Last revised on August 25, 2021 at 16:21:13. See the history of this page for a list of all contributions to it.