nLab
cohesive

Entries discussing aspects of cohesion include the following

• motivation for cohesion, geometry of physics

• cohesive topos

  • cohesive site

• cohesive (∞,1)-topos, cohesive homotopy type theory,

  • ∞-cohesive site

  • differential cohesion

cohesion

• (shape modality $⊣$ flat modality $⊣$ sharp modality)

  $(ʃ⊣♭⊣♯)$

  • discrete object, codiscrete object, concrete object

  • structures in cohesion

differential cohesion

• (reduction modality $⊣$ infinitesimal shape modality $⊣$ infinitesimal flat modality)

  $(\mathrm{Red}⊣{ʃ}_{\inf }⊣{♭}_{\inf })$

  • reduced object, coreduced object, formally smooth object

  • formally étale map

  • structures in differential cohesion

Examples

• discrete cohesion

• continuous cohesions

• smooth cohesion

• supergeometric cohesion

category: adjective