Publications of Joachim Kock

Books

• Frobenius algebras and 2D topological quantum field theories
  No. 59 of LMSST, Cambridge University Press, 2003, xii+240pp.
• An invitation to quantum cohomology: Kontsevich's formula for rational plane curves
  With Israel Vainsencher. No. 249 of Progress in Mathematics, Birkhäuser, 2006, xv+175pp. This is a revised English translation of

  A fórmula de Kontsevich para curvas racionais planas
  IMPA, Rio de Janeiro, 1999, xiv + 112pp.
  

Thesis

• Tangency quantum cohomology and enumerative geometry of rational curves
  PhD thesis, Universidade Federal de Pernambuco, Recife, Brazil, 2000, xx + 155pp.

Papers

• Data types with symmetries and polynomial functors over groupoids
  To appear in the Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, Bath 2012, Electronic Notes in Theoretical Computer Science
• Local fibered right adjoints are polynomial With Anders Kock.
  To appear in Math. Struct. Comput. Sci. ArXiv:1005.4236
• Double adjunctions and free monads
  With Thomas Fiore and Nicola Gambino.
  To appear in Cahiers Topol. Géom. Différ. Catég. ArXiv:1105.6206
• Monads in double categories
  With Tom Fiore and Nicola Gambino.
  J. Pure Appl. Alg. 215 (2011), 1174-1197. ArXiv:1006.0797
• Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract) With André Joyal.
  Proceedings of the 6th International Workshop on Quantum Physics and Logic (Oxford 2009), Electronic Notes in Theoretical Computer Science 270 (2) (2011), 105-113. ArXiv:0908.2675
• Polynomial functors and trees
  Int. Math. Res. Not. 2011 (2011), 609-673. ArXiv:0807.2874
• Polynomial functors and opetopes
  With André Joyal, Michael Batanin, and Jean-François Mascari.
  Adv. Math. 224 (2010), 2690-2737. ArXiv:math/0706.1033
• Elementary remarks on units in monoidal categories
  Math. Proc. Cambridge Phil. Soc. 144 (2008), 53-76. ArXiv:math.CT/0507349
• Note on commutativity in double semigroups and two-fold monoidal categories
  Mac Lane Memorial Volume, J. Homotopy Rel. Struct. 2 (2007), 217-228. ArXiv:math.CT/0608452
• Weak units and homotopy 3-types With André Joyal.
  Street Festschrift: Categories in algebra, geometry and mathematical physics, Contemp. Math 431 (2007), 257-276. ArXiv:math.CT/0602084
• Weak identity arrows in higher categories
  Internat. Math. Res. Papers (2006), 1-54. ArXiv:math.CT/0507116.
• Simplicial localisation of monoidal structures, and a non-linear version of Deligne's conjecture With Bertrand Toën.
  Compositio Math. 141 (2005), 253-261. ArXiv:math.AT/0304442.
• Tangency quantum cohomology
  Compositio Math. 140 (2004), 165-178. ArXiv:math.AG/0006148.
• Characteristic numbers of rational curves with cusp or prescribed triple contact
  Math. Scand. 92 (2003), 223-245. ArXiv:math.AG/0102082.
• Descendant invariants and characteristic numbers
  With Tom Graber and Rahul Pandharipande. Amer. J. Math. 124 (2002), 611-647. ArXiv:math.AG/0102017.
• Tangency quantum cohomology and characteristic numbers
  An. Acad. Bras. Cienc. 73 (2001), 319-326.
• Frobenius splitting of complete intersections in Pⁿ
  Comm. Alg. 25 (1997), 1205-1213.
  

Preprints

• Categorification of Hopf algebras of rooted trees
  ArXiv:1109.5785
• Coherence for weak units
  With André Joyal. ArXiv:0907.4553
• Polynomial functors and polynomial monads
  With Nicola Gambino. ArXiv:0906.4931