Can a stable $(\infty,1)$-category be an $(\infty,1)$-topos?
2026-03-28 08:29:56.1774686596
On
Are there any stable $(\infty,1)$-topoi?
149 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
There are 2 best solutions below
0
On
This is basically Zhen Lin's answer for nontrivial cartesian closed categories: Assume that a nontrivial cartesian closed category $\mathcal{C}$ has a zero object. Then, let $C\in\mathcal{C}$. We would have that $0=0\times C=C$ (the functor $-\times C:\mathcal{C}\to\mathcal{C}$ commutes with empty colimits). Thus $\mathcal{C}$ would be a trivial cartesian closed category; hence any nontrivial cartesian closed category cannot have a zero object.
No, for essentially the same reason that there are no interesting abelian categories that are also toposes: an abelian category (resp. stable $(\infty, 1)$-category) has a zero object, i.e. an initial object that is also terminal, but initial objects in toposes (resp. $(\infty, 1)$-toposes) are strict, so the only topos (resp. $(\infty, 1)$-topos) that has a zero object is the trivial one.