Joachim Kock

Joachim Kock

Lektor

Medlem af:


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

      Kock, Joachim, mar. 2013, I: Central European Journal of Mathematics. 11, 3, s. 401-422 22 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    3. Local fibred right adjoints are polynomial

      Kock, A. & Kock, Joachim, feb. 2013, I: Mathematical Structures in Computer Science. 23, 1, s. 131-141 11 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    4. Polynomial functors and polynomial monads

      Gambino, N. & Kock, Joachim, jan. 2013, I: Mathematical Proceedings of the Cambridge Philosophical Society. 154, 1, s. 153-192 40 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    5. COHERENCE FOR WEAK UNITS

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

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

      Kock, Joachim, 24 sep. 2012, I: Electronic Notes in Theoretical Computer Science. 286, s. 351-365 15 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    8. Double adjunctions and free monads

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    9. 2011
    10. Monads in double categories

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

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

      Joyal, A. & Kock, Joachim, 14 feb. 2011, I: Electronic Notes in Theoretical Computer Science. 270, 2, s. 105-113 9 s.

      Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

    12. Polynomial Functors and Trees

      Kock, Joachim, 2011, I: International Mathematics Research Notices. 2011, 3, s. 609-673 65 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    13. 2010
    14. Polynomial functors and opetopes

      Kock, Joachim, Joyal, A., Batanin, M. & Mascari, J., 20 aug. 2010, I: Advances in Mathematics. 224, 6, s. 2690-2737 48 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    ID: 283957667