Contents

# Contents

## Idea

On “natural” models (Awodey 2016) of homotopy type theory. For the moment see there.

## References

Last revised on January 22, 2023 at 13:48:51. See the history of this page for a list of all contributions to it.