Re: [GdT Categories] agenda GdT
by Groupe de travail catégories 25 Mar '25

25 Mar '25
Meeting tomorrow
by Groupe de travail catégories 19 Mar '25

19 Mar '25
Review of "Formalization of Higher Categories"
by Groupe de travail catégories 18 Mar '25

18 Mar '25
Book review draft
by Groupe de travail catégories 06 Mar '25

06 Mar '25
Dernier groupe de lecture
by Groupe de travail catégories 03 Mar '25

03 Mar '25