Homotopical trinitarianism : a perspective on #HoTT

https://home.sandiego.edu/~shulman/papers/trinity.pdf

Advertisements
This entry was posted in ∞-catégories, Homotopy, homotopy type theory. Bookmark the permalink.