Archives pour la catégorie logique

Bart Jacobs : categorical Logic and Type theory

https://people.mpi-sws.org/~dreyer/courses/catlogic/jacobs.pdf

Publicités

Relation entre type theory, category theory et logique

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

A noter, en commentaires de cet article de blog, une discussion entre Jacob Lurie, Mike Shulman et Urs Schreiber sur HoTT:

https://mathematicswithoutapologies.wordpress.com/2015/05/13/univalent-foundations-no-comment/comment-page-1/#comment-224