---
date: 2022-04-04 09:47
modification date: Monday 4th April 2022 09:47:08
title: "HOTT"
aliases: [HOTT, univalent]

---

Last modified date: <%+ tp.file.last_modified_date() %>


---

- Tags 
	- #todo/untagged
- Refs:
	- <https://faculty.math.illinois.edu/~dan/Papers/ium.pdf#page=2>
- Links:
	- #todo/create-links 

---

# HOTT