Contents

# Contents

## Idea

The refinement of modal type theory to homotopy type theory: hence homotopy type theory equipped with higher modalities.

## References

See also the references at modal type theory.

### General

For a discussion of the reflective factorization system generated by a modality, see

For an introduction from the perspective of philosophy see

Specifically for cohesive homotopy type theory see:

Last revised on May 27, 2020 at 10:24:19. See the history of this page for a list of all contributions to it.