2018-02-28 20:49:50 8 Comments

This question asks for a locally presentable locally cartesian closed category that is not a topos. All the answers given (at least in the 1-categorical case) are quasitoposes. What is an example of a locally presentable locally cartesian closed 1-category that is not a quasitopos?

Note that there is no difference for this question whether "quasitopos" is meant in the elementary or the Grothendieck sense. By C2.2.13 in *Sketches of an Elephant*, a locally presentable locally cartesian closed category is a Grothendieck quasitopos iff it is an elementary quasitopos iff it is quasi-effective, i.e. strong equivalence relations are effective. So the question could equivalently be: what is an example of a locally presentable locally cartesian closed category that is not quasi-effective?

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### [SOLVED] Simplicially enriched cartesian closed categories

**2019-02-11 02:21:27****Mike Shulman****196**View**8**Score**1**Answer- Tags: ct.category-theory simplicial-stuff enriched-category-theory cartesian-closed-categories

#### 1 Answered Questions

### [SOLVED] Locally presentable abelian categories with enough injective objects

**2017-12-28 00:43:21****Leonid Positselski****1237**View**25**Score**1**Answer- Tags: ct.category-theory abelian-categories locally-presentable-categories

#### 0 Answered Questions

### Is every presentable category a limit of locally finitely-presentable categories and finitary left adjoints?

**2018-08-04 22:41:19****Tim Campion****123**View**8**Score**0**Answer- Tags: ct.category-theory higher-category-theory locally-presentable-categories

#### 1 Answered Questions

### [SOLVED] (Co)complete topoi that are not Grothendieck?

**2016-12-29 01:51:43****Karthik Yegnesh****684**View**12**Score**1**Answer- Tags: ct.category-theory topos-theory

#### 1 Answered Questions

### [SOLVED] Weak colimits in locally cartesian closed categories

**2018-05-03 12:23:34****Valery Isaev****163**View**8**Score**1**Answer- Tags: reference-request ct.category-theory higher-category-theory cartesian-closed-categories

#### 1 Answered Questions

### [SOLVED] Example of a locally presentable locally cartesian closed category which is not a topos?

**2018-02-28 02:35:50****Tim Campion****232**View**6**Score**1**Answer- Tags: ct.category-theory topos-theory counterexamples cartesian-closed-categories locally-presentable-categories

#### 3 Answered Questions

### [SOLVED] What's an example of a locally presentable category "in nature" that's not $\aleph_0$-locally presentable?

**2010-12-12 21:06:33****Theo Johnson-Freyd****1556**View**15**Score**3**Answer- Tags: ct.category-theory topos-theory rt.representation-theory set-theory

#### 2 Answered Questions

### [SOLVED] What properties do "large topoi" share with actual topoi?

**2013-11-28 18:25:24****David Carchedi****506**View**12**Score**2**Answer- Tags: ct.category-theory topos-theory

#### 0 Answered Questions

### Sheaf embedding preserving initial algebras?

**2012-04-23 18:35:31****Mike Shulman****126**View**6**Score**0**Answer- Tags: ct.category-theory topos-theory

#### 0 Answered Questions

### Is the category of quasi-coherent sheaves on a concentrated stack locally finitely presentable?

**2011-12-09 07:58:08****Martin Brandenburg****398**View**6**Score**0**Answer- Tags: ag.algebraic-geometry ct.category-theory stacks

## 2 comments

## @Mike Shulman 2018-03-15 21:50:10

Thomas Holder points out to me that this question is answered in Borceux and Pedicchio,

A characterization of quasi-toposes, with an example that is reproduced in C4.2.4 ofSketches of an Elephant: the ind-completion of the category $\mathrm{Set}_c$ of finite or countably infinite sets. It is locally finitely presentable essentially by definition, and it is locally cartesian closed because it is a "local exponential ideal" in the presheaf category of $\mathrm{Set}_c$. But it is not a quasitopos because (1) it is balanced, so if it were a quasitopos it would be a topos, and (2) the image of $\mathbb{N}\in \mathrm{Set}_c$ satisfies Freyd's characterization of a natural numbers object, so if it lived in a topos it would be a NNO, but in a cocomplete topos an NNO cannot be finitely presentable.## @Marc Hoyois 2018-03-01 16:56:17

The 1-categorical version of motivic spaces is locally cartesian closed but not a quasitopos. The idea is that there exists an $\mathbb A^1$-contractible scheme that is covered by $\mathbb A^1$-rigid schemes. This leads to an equivalence relation that is maximally non-effective, and it just happens to be a strong equivalence relation. In particular this argument gives a very simple proof that motivic spaces over an arbitrary nonempty base scheme do not form an ∞-topos.

Let me give a somewhat more general recipe. Suppose $C$ is a small site and $W$ is a collection of morphisms of $C$ that is stable under base change. Let $P_W(C)\subset P(C)$ be the category of presheaves that invert $W$, call them $W$-invariant, and let $$ Shv_W(C) = Shv(C) \cap P_W(C) \subset P(C) $$ be the category of $W$-invariant sheaves on $C$. Note first that $Shv_W(C)$ is presentable and locally cartesian closed. In fact, the reflector $L: P(C) \to Shv_W(C)$ is semi-left exact (a.k.a. locally cartesian), since it is a transfinite composition of sheafification and $W$-invariantification, and the latter is semi-left exact because $W$ is stable under base change.

Now, assume that there exists a sheaf $X\in Shv(C)$ with $LX\simeq *$ and an effective epimorphism $U\to X$ in $Shv(C)$ with $U$ and $R=U\times_XU$ both $W$-invariant. Assume also that $R\hookrightarrow U\times U$ is not an isomorphism. Then $Shv_W(C)$ is not a topos. Indeed, the equivalence relation $R\rightrightarrows U$ in $Shv_W(C)$ has quotient $LX\simeq *$, so it is not effective.

So if we can find an example where $R\hookrightarrow U\times U$ is a

strongmonomorphism in $Shv_W(C)$, we are done. I don't see a general way to achieve this, but here is an example.Example.$S$ is a nonempty reduced scheme, $C$ is the category of smooth $S$-schemes with a subcanonical topology finer than Zariski, and $W=\{X\times\mathbb A^1\to X\}$. Take $U\to X$ to be the covering map $$\mathbb A^1\setminus\{0\} \sqcup \mathbb A^1\setminus\{1\}\to \mathbb A^1.$$ Then $R=\mathbb A^1\setminus\{0\} \sqcup\mathbb A^1\setminus\{0,1\} \sqcup\mathbb A^1\setminus\{0,1\} \sqcup \mathbb A^1\setminus\{1\}$. Since every scheme in $C$ is reduced and $\mathcal O^\times$ is $\mathbb A^1$-invariant on reduced schemes, both $U$ and $R$ are $\mathbb A^1$-invariant (representable) sheaves.

I claim that $R\hookrightarrow U\times U$ is a strong monomorphism in $Shv_W(C)$. It suffices to show that the open immersion $\mathbb G_m\setminus\{1\} \hookrightarrow \mathbb G_m$ is a strong monomorphism. It is the kernel of the obvious pair $\mathbb G_m\rightrightarrows D$ where $D$ is $\mathbb G_m$ with doubled $1$ (a smooth non-separated $S$-scheme), so it suffices to show that $D$ is $\mathbb A^1$-invariant. An $S$-morphism $X\to D$ consists of an invertible function $f\in\mathcal O(X)^\times$ and a coproduct decomposition $f^{-1}(1)=U\sqcup V$. So an $S$-morphism $X\times\mathbb A^1\to D$ is an invertible function $f\in\mathcal O(X)^\times$ and a coproduct decomposition of $f^{-1}(1)\times\mathbb A^1$. But any such coproduct decomposition is the pullback of a coproduct decomposition of $f^{-1}(1)$, since $\mathbb A^1$ over a field is connected. QED

## @Mike Shulman 2018-03-01 22:24:59

Nice. I would really like to see an example that's comprehensible to a pure category theorist who doesn't "speak scheme", though.

## @Tim Campion 2018-06-13 17:13:49

"Semi-left-exact localization" means that the reflector preserves pullbacks, I presume. The motivic category is so natural to consider, it makes me wonder if maybe it's worth developing a whole theory of semi-left-exact localizations of toposes....

## @Marc Hoyois 2018-06-13 23:28:03

@TimCampion Not quite, that would simply be "left exact". Semi-left-exact means that L(A ×_{LB} LC) = LA ×_{LB} LC, that is L commutes with

localbase change. This is the natural condition for a localization to preserve the property of universality of colimits.## @Tim Campion 2018-06-17 23:07:20

It’s also interesting that a non separated scheme is used to exhibit that map as strong mono. I wonder if motivic spaces with some separation condition form a quasi topos...