Tag Archives: Jean-Pierre Marquis

#HoTT une théorie “synthétique” des groupoides

Toujours dans l’article : http://home.sandiego.edu/~shulman/papers/synhott.pdf Michael Shulman Page 4 décrit les groupoides comme une généralisation des ensembles comme collections. Il y a deux sortes de collections, dont la seconde est Le collection des manières dont deux objets x et y … Continue reading

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