# Contents

## Definition

On a local topos $H$ acts a comonad $♭$, being the left adjoint to the monad $♯$ induces by the extra right adjoint of the global section geometric morphism. This is the flat modality on the topos.

## 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:25 by Urs Schreiber (89.204.138.93)