Daily Archives: December 5, 2017

Axiome d’univalence :#HoTT univalent categories

https://www.irit.fr/TYPES2013/Slides/TYPES13Slides_Ahrens_et_al.pdf Page 2 sur 23 : trois sorte de « sameness » pour les catégories, identifiées par l’univalence := (égalité) ≊ (isomorphisme ) et ≃ (équivalence) Advertisements

Posted in homotopy type theory