In Lurie 12, def. 2.1.1 an ∞-prestack ∞Grpd is called cohesive if it sends (∞,1)-fiber products of “essentially surjective” maps (in the opposite (∞,1)-category of the (∞,1)-site ) to -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.
Created on June 28, 2013 at 01:12:27. See the history of this page for a list of all contributions to it.