Daily Archives: February 14, 2019

#HoTT Mike Shulman : Categorical models of homotopy type theory

Originally posted on Science internelle Henosophia Toposophia Mathesis universalis:
https://home.sandiego.edu/~shulman/hottminicourse2012/03models-handout2up.pdf La page 1 donne un tableau de correspondance entre les concepts catégoriques et ceux de HoTT. Nous avons déjà croisé de nombreux types de catégories qui peuvent être vus comme…

Posted in Philosophie