Joachim Kock
Associate Professor
- 2007
NOTE ON COMMUTATIVITY IN DOUBLE SEMIGROUPS AND TWO-FOLD MONOIDAL CATEGORIES
Kock, Joachim, 2007, In: Journal of Homotopy and Related Structures. 2, 2, p. 217-228 12 p.Research output: Contribution to journal › Journal article › Research › peer-review
Weak units and homotopy 3-types
Joyal, A. & Kock, Joachim, 2007, CATEGORIES IN ALGEBRA, GEOMETRY AND MATHEMATICAL PHYSICS. Davydov, A., Batanin, M., Johnson, M., Lack, S. & Neeman, A. (eds.). AMER MATHEMATICAL SOC, p. 257-276 20 p. (Contemporary Mathematics, Vol. 431).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2008
Elementary remarks on units in monoidal categories
Kock, Joachim, Jan 2008, In: Mathematical Proceedings of the Cambridge Philosophical Society. 144, p. 53-76 24 p.Research output: Contribution to journal › Journal article › Research › peer-review
- 2010
Polynomial functors and opetopes
Kock, Joachim, Joyal, A., Batanin, M. & Mascari, J., 20 Aug 2010, In: Advances in Mathematics. 224, 6, p. 2690-2737 48 p.Research output: Contribution to journal › Journal article › Research › peer-review
- 2011
Polynomial Functors and Trees
Kock, Joachim, 2011, In: International Mathematics Research Notices. 2011, 3, p. 609-673 65 p.Research output: Contribution to journal › Journal article › Research › peer-review
Feynman graphs, and nerve theorem for compact symmetric multicategories (Extended Abstract)
Joyal, A. & Kock, Joachim, 14 Feb 2011, In: Electronic Notes in Theoretical Computer Science. 270, 2, p. 105-113 9 p.Research output: Contribution to journal › Conference article › Research › peer-review
Monads in double categories
Fiore, T. M., Gambino, N. & Kock, Joachim, Jun 2011, In: Journal of Pure and Applied Algebra. 215, 6, p. 1174-1197 24 p.Research output: Contribution to journal › Journal article › Research › peer-review
- 2012
Double adjunctions and free monads
Kock, Joachim, Fiore, T. M. & Gambino, N., 2012, In: Cahiers de Topologie et Géométrie Différentielle Catégoriques. 53, p. 242-307Research output: Contribution to journal › Journal article › Research › peer-review
Data Types with Symmetries and Polynomial Functors over Groupoids
Kock, Joachim, 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 351-365 15 p.Research output: Contribution to journal › Journal article › Research › peer-review
- 2013
COHERENCE FOR WEAK UNITS
Joyal, A. & Kock, Joachim, 2013, In: Documenta Mathematica. 18, p. 71-110 40 p.Research output: Contribution to journal › Journal article › Research › peer-review
ID: 283957667