Logic matters

http://www.logicmatters.net/categories/

http://www.logicmatters.net/2014/01/06/introducing-homotopy-type-theory/

Plus ceci sur Egbert Rijke, qui est assez jeune pour avoir appris la théorie des types dans HoTT:

http://math.andrej.com/2012/08/23/a-hott-thesis/

Advertisements
This entry was posted in ∞-catégories, category theory, homotopy type theory, Logique and tagged , . Bookmark the permalink.