Joachim Kock

Joachim Kock

Associate Professor


  1. 2013
  2. Categorification of Hopf algebras of rooted trees

    Kock, Joachim, Mar 2013, In: Central European Journal of Mathematics. 11, 3, p. 401-422 22 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. Local fibred right adjoints are polynomial

    Kock, A. & Kock, Joachim, Feb 2013, In: Mathematical Structures in Computer Science. 23, 1, p. 131-141 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. Polynomial functors and polynomial monads

    Gambino, N. & Kock, Joachim, Jan 2013, In: Mathematical Proceedings of the Cambridge Philosophical Society. 154, 1, p. 153-192 40 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. COHERENCE FOR WEAK UNITS

    Joyal, A. & Kock, Joachim, 2013, In: Documenta Mathematica. 18, p. 71-110 40 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  6. 2012
  7. Data Types with Symmetries and Polynomial Functors over Groupoids

    Kock, Joachim, 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 351-365 15 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  8. Double adjunctions and free monads

    Kock, Joachim, Fiore, T. M. & Gambino, N., 2012, In: Cahiers de Topologie et Géométrie Différentielle Catégoriques. 53, p. 242-307

    Research output: Contribution to journalJournal articleResearchpeer-review

  9. 2011
  10. Monads in double categories

    Fiore, T. M., Gambino, N. & Kock, Joachim, Jun 2011, In: Journal of Pure and Applied Algebra. 215, 6, p. 1174-1197 24 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  11. Feynman graphs, and nerve theorem for compact symmetric multicategories (Extended Abstract)

    Joyal, A. & Kock, Joachim, 14 Feb 2011, In: Electronic Notes in Theoretical Computer Science. 270, 2, p. 105-113 9 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  12. Polynomial Functors and Trees

    Kock, Joachim, 2011, In: International Mathematics Research Notices. 2011, 3, p. 609-673 65 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  13. 2010
  14. Polynomial functors and opetopes

    Kock, Joachim, Joyal, A., Batanin, M. & Mascari, J., 20 Aug 2010, In: Advances in Mathematics. 224, 6, p. 2690-2737 48 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

ID: 283957667