#HoTT Freyd categories are enriched Lawvere theories

https://ac.els-cdn.com/S157106611400036X/1-s2.0-S157106611400036X-main.pdf?_tid=a9c24750-b1b1-11e7-8704-00000aab0f01&acdnat=1508076407_355b82e54bcf647198ef4d067f925a75

Advertisements
This entry was posted in category theory, Computer science, homotopy type theory, Philosophie mathématique. Bookmark the permalink.