# Homotopy Type Theory Synthetic homotopy theory

## Rough list

Feel free to add and reorganise.

## Spaces

• circle
• spheres?
• interval?
• real projective space?

## Useful references

• Higher-Dimensional Types in the Mechanization of Homotopy Theory?, Favonia

• HoTT book

Last revised on October 19, 2018 at 06:52:12. See the history of this page for a list of all contributions to it.