Search Results

Suppose I have an $(\infty,1)$-topos $\mathcal{X}$ and a (small) set of maps $S$ in $\mathcal{X}$, which therefore generates an accessible localization $S^{-1}\mathcal{X}$. Is there any "small" condi …

The subcategory of hypercomplete objects in an ∞-topos is a left-exact-reflective subcategory by the remarks after 6.5.2.8 of Higher topos theory, i.e. its inclusion functor has a left-exact left adjo …

A hypercovering in an $\infty$-topos $E$ is a simplicial object $U \in {\rm Fun}(\Delta^{\rm op},E)$ such that each map $U_n \to ({\rm cosk}_{n-1} U)_n$ is an effective epimorphism. Theorem 6.5.3.12 …

Let's say that an $(\infty,1)$-topos is Boolean if for every object $X$, the lattice $Sub(X)$ of subobjects (i.e. $(-1)$-truncated morphisms into $X$) is a Boolean algebra. I think this is equivalent …

In the paper lex colimits, Garner and Lack gave a general characterization of "exactness properties" for categories (and enriched categories). A "lex-weight" is a weight for colimits whose domain cat …

The subcategory of hypercomplete objects in an ∞-topos is a left-exact-reflective subcategory by the remarks after 6.5.2.8 of Higher topos theory. Can it ever happen that this subcategory is also cor …

For any geometric morphism $f:\mathcal{F} \to \mathcal{E}$ of Grothendieck 1-topoi, there exists a functor of small categories $\ell :D\to C$ and left exact localizations $\mathcal{F} \hookrightarrow …

A (1,1)-topos (i.e. an ordinary Grothendieck topos) is called localic if the following two equivalent conditions hold: It is the category of sheaves on a (0,1)-site with finite limits$^*$ (i.e. a mee …

It's known that any $\infty$-topos $\mathcal{E}$ can be presented by a Quillen model category $\mathbf{E}$ that is itself a 1-topos. For instance, if $\mathcal{E}$ is a left exact localization of a p …

Recall that an $(\infty,1)$-category $C$ is said to have descent if for any small diagram $X:I\to M$ with (homotopy) colimit $\overline{X}$, the adjunction between $C/\overline{X}$ and "equifibered" $ …