![[Danish flag]](pics/dannebrog.gif)
Joachim Kock
Departament de MatemàtiquesUniversitat Autònoma de Barcelona
08193 Bellaterra (Barcelona)
ESPANYA
| Phone: | +34 93 581 1395 |
| Fax: | +34 93 581 27 90 |
| Email: | last name, then mat.uab.cat |
Departament de Matemàtiques |
| Phone: | +34 93 581 1395 |
| Fax: | +34 93 581 27 90 |
| Email: | last name, then mat.uab.cat |
| 2013-05-08: | My paper with Wolfgang Pitsch, "Hochster duality in derived categories and point-free reconstruction of schemes" is now available. Comments are very welcome. |
| 2013-04-04: | New grant info for the CRM conference "Type Theory, Homotopy Theory and Univalent Foundations", September 23-27, 2013. |
| 2013-01-26: | "String diagrams, the number 5, and the moons of Jupiter" - a tribute to "This Weeks' Finds". |
| 2012-12-09: | We'll have a conference at the CRM entitled "Type Theory, Homotopy Theory and Univalent Foundations", September 23-27, 2013. |
| 2012-08-09: | My paper with David Gepner, "Univalence in locally cartesian closed ∞-categories" is now available. Comments are very welcome. |
| 2012-07-28: | The paper "Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees" joint with Imma Gálvez and Andy Tonks is now available. Comments are very welcome. |