Andr Joyal

Results: 4



#Item
1AG-SEMINAR WS: ∞-CATEGORIES AND THEIR APPLICATIONS MORITZ GROTH AND GEORGIOS RAPTIS The aim of higher category theory is to develop a theory of ‘categories with morphisms of arbitrarily high dimension’ that

AG-SEMINAR WS: ∞-CATEGORIES AND THEIR APPLICATIONS MORITZ GROTH AND GEORGIOS RAPTIS The aim of higher category theory is to develop a theory of ‘categories with morphisms of arbitrarily high dimension’ that

Add to Reading List

Source URL: www.math.uni-bonn.de

Language: English - Date: 2011-10-16 11:41:31
2Category theory and Homotopy type theory Andr´e Joyal Universit´e du Qu´ebec a ` Montr´eal (UQAM)

Category theory and Homotopy type theory Andr´e Joyal Universit´e du Qu´ebec a ` Montr´eal (UQAM)

Add to Reading List

Source URL: logica.dmi.unisa.it

Language: English - Date: 2015-05-15 06:13:17
3Representation of Partial Traces Marc Bagnol Department of Mathematics and Statistics – University of Ottawa The notion of trace in a monoidal category has been introduced by Joyal Street and Verity [4] to give a categ

Representation of Partial Traces Marc Bagnol Department of Mathematics and Statistics – University of Ottawa The notion of trace in a monoidal category has been introduced by Joyal Street and Verity [4] to give a categ

Add to Reading List

Source URL: logica.dmi.unisa.it

Language: English - Date: 2015-05-19 05:55:06
4Volume II  The Theory of Quasi-Categories and its Applications Andr´e Joyal

Volume II The Theory of Quasi-Categories and its Applications Andr´e Joyal

Add to Reading List

Source URL: mat.uab.cat

Language: English - Date: 2012-08-08 00:31:51