Category theory and Type theory

http://www.paultaylor.eu/ASD/foufct/cattype.html

https://home.sandiego.edu/~shulman/hottminicourse2012/01typetheory.pdf

https://golem.ph.utexas.edu/category/2013/03/category_theory_in_homotopy_ty.html

https://news.ycombinator.com/item?id=8780468

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