Daily Archives: August 4, 2017

#HoTT : a synthetic approach to higher equalities ( Michael Shulman)

Cet article consacré au rôle de HoTT dans le fondement des mathématiques , est de nature plus philosophique que technique: http://home.sandiego.edu/~shulman/papers/synhott.pdf L’introduction commence avec les différences et les analogies entre ensembles ( sets) et types, qui sont les entités à … Continue reading

Posted in ∞-catégories, homotopy type theory | Tagged , , , ,