Joachim KockDepartament de Matemàtiques
Universitat Autònoma de Barcelona
08193 Bellaterra (Barcelona)
|2014-07-15:||My paper "Graphs, hypergraphs, and properads"
Comments are very welcome.
|2014-04-14:||My paper with Imma Gálvez and Andy Tonks, "Decomposition spaces, incidence algebras and Möbius inversion" is finally available. Comments are very welcome.|
|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.|