nLab flat modality




On a local topos/local (∞,1)-topos H\mathbf{H}, hence with extra fully faithful right adjoint coDisccoDisc to the global section geometric morphism (DiscΓ)(Disc \dashv \Gamma), is canonically induced the idempotent comonad DiscΓ\flat \coloneqq Disc\circ \Gamma. This modality sends for instance pointed connected objects BG\mathbf{B}G to coefficients BG\flat \mathbf{B}G for flat principal ∞-connections, and may therefore be referred to as the flat modality. It is itself the left adjoint in an adjoint modality with the sharp modality coDiscΓ\sharp \coloneqq coDisc \circ \Gamma. If H\mathbf{H} is in addition a cohesive (∞,1)-topos then it is also the right adjoint in an adjoint modality with the shape modality \int.


Relation to discrete and codiscrete objects


tangent cohesion

differential cohesion

graded differential cohesion

singular cohesion

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& \esh &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }


See the references at local topos.

Last revised on June 14, 2016 at 17:20:37. See the history of this page for a list of all contributions to it.