![[Danish flag]](pics/dannebrog.gif)
Joachim Kock
Departament de MatemàtiquesUniversitat Autònoma de Barcelona
and
Centre de Recerca Matemàtica
| Email: | first name dot last name, then uab.cat |
Departament de Matemàtiques |
| Email: | first name dot last name, then uab.cat |
My main research interests are in Category Theory, Homotopy Theory, and Algebraic Geometry, but I am also interested in structural aspects of Combinatorics, Mathematical Physics, Logic, and Theoretical Computer Science.
Publications Upcoming talks Community Math pages (not up to date)
| 2026-08-01: | The Banff proceedings volume Higher Segal Spaces and Applications (J. Bergner, J. Kock, M. Sarazola. editors) was published by the AMS earlier this Summer. Here is a list of the papers with links to the arXiv. |
| 2026-06-18: | My long-promised work with Michael Batanin and Mark Weber on operadic categories is finally released. The main paper is Operadic categories as (pseudo)-simplicial groupoids, but there is also a companion paper, Pita factorisation in operadic categories, proving an auxiliary result. |
| 2026-03-24: | My long-promised work with Jesper Michael Møller on "negative sets" is finally released. The main paper is Signs in objective linear algebra, exemplified with exterior powers and determinants, but there is also a second document (in less final form), Groupoid G-spans and matrices over group rings, where we do some of the basic things in a more general setting. Comments are very welcome on both! |
| 2025-09-03: | I am back in Barcelona after four years in Copenhagen |
| 2025-07-21: | My PhD student Thomas Jan Mikhail has defended his thesis Type theory for (∞,∞)-categories and decomposition spaces |
| 2025-07-02: | Very short paper (4pp) with Thomas Jan Mikhail available on the arXiv: Free loop spaces and the Cauchy–Frobenius Lemma. Comments are very welcome |
| Old news |