Affichage de 14 résultats

Description archivistique
Baez, John
Aperçu avant impression
Card view Table view
24/07/08 n-categories, n-groupoids & Categorical Logic Meeting, Institute de Mathematiques at Jussieu, Paris: Mark Weber: A tutorial on monads with arities / discussion / Nicolas Tabereau: Computing free models as Kan extensions / John Baez & James Dolan: Groupoidification / Dimitri Ara: Weak infinity-categories, Grothendieck versus Batanin / Samuel Mimram: A tutorial on polygraphs and their applications to semantics / Jonas Frey: A 2-dimensional adjunction between triposes and toposes / discussion
michael-wright-collection-MW0002399 · Pièce
Fait partie de Michael Wright Collection
24/07/08 n-categories, n-groupoids & Categorical Logic Meeting, Institute de Mathematiques at Jussieu, Paris: Mark Weber: A tutorial on monads with arities / discussion / Nicolas Tabereau: Computing free models as Kan extensions / John Baez & James Dolan: Groupoidification / Dimitri Ara: Weak infinity-categories, Grothendieck versus Batanin / Samuel Mimram: A tutorial on polygraphs and their applications to semantics / Jonas Frey: A 2-dimensional adjunction between triposes and toposes / discussion
michael-wright-collection-MW0002434 · Pièce
Fait partie de Michael Wright Collection