Contents

Definition

On a local topos $H$ acts a monad $♯$ corresponding to the extra right adjoint of the global section geometric morphism. The sharp modality. It has a left adjoint modality, the flat modality.

Properties

Relation to discrete and codiscrete objects

cohesion

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

$\left(ʃ⊣♭⊣♯\right)$

differential cohesion

References

See the references at local topos.

Revised on January 5, 2013 21:55:36 by Urs Schreiber (89.204.138.93)