nLab cohesive infinity-prestack

Contents

Idea

In Lurie 12, def. 2.1.1 an ∞-prestack 𝒞 op\mathcal{C}^{op} \to ∞Grpd is called cohesive if it sends (∞,1)-fiber products of “essentially surjective” maps (in the opposite (∞,1)-category of the (∞,1)-site 𝒞\mathcal{C}) to (,1)(\infty,1)-fiber products in ∞Grpd. It is called infinitesimally cohesive (Lurie 12, def. 2.1.1) if this property holds at least for fiber products of maps with “infinitesimal kernel”.

This is un-related to the notion of cohesive (∞,1)-topos.

References

Created on June 28, 2013 at 01:12:27. See the history of this page for a list of all contributions to it.