structures in a cohesive (∞,1)-topos
infinitesimal cohesion?
Entries discussing aspects of cohesion include the following
(shape modality $\dashv$ flat modality $\dashv$ sharp modality)
$(ʃ \dashv \flat \dashv \sharp )$
dR-shape modality $\dashv$ dR-flat modality
$ʃ_{dR}\dashv \flat_{dR}$
(reduction modality $\dashv$ infinitesimal shape modality $\dashv$ infinitesimal flat modality)
$(\Re \dashv ʃ_{inf} \dashv \flat_{inf})$
Examples
Apppications