#HoTT substitution is pullback

http://math.andrej.com/2012/09/28/substitution-is-pullback/

Advertisements
This entry was posted in category theory, homotopy type theory. Bookmark the permalink.