Daily Archives: March 4, 2018

#HoTT : Comprehension categories as models of type theory

D’abord cet article axé sur les « comprehension categories « : Click to access report-2013.pdf puis cet exposé de Michael Shulman : Click to access 05categories.pdf (Cf page 3 la définition de display map category) Et cet autre article : https://ac.els-cdn.com/S1571066108000431/1-s2.0-S1571066108000431-main.pdf?_tid=6ae513c2-45bf-4641-820e-85f126850e32&acdnat=1520157026_ef815d3183b0c1afb49272a9aa0c2e4a Click … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, homotopy type theory