![[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-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 |