×
Author ID: kock.joachim Recent zbMATH articles by "Kock, Joachim"
Published as: Kock, Joachim; Kock, J.
Further Spellings: Kock, Joachim Christian
Homepage: http://mat.uab.es/~kock/
External Links: MGP · ORCID · Google Scholar · dblp · GND
all top 5

Co-Authors

18 single-authored
7 Gálvez-Carrillo, Imma
7 Tonks, Andrew
5 Gambino, Nicola
5 Joyal, André
3 Weber, Mark
2 Batanin, Michael A.
2 Fiore, Thomas M.
2 Garner, Richard
2 Gepner, David
2 Spivak, David I.
2 Toën, Bertrand
2 Vainsencher, Israel
1 Aczel, Peter
1 Ahrens, Benedikt
1 Altenkirch, Thorsten
1 Angiuli, Carlo
1 Avigad, Jeremy
1 Awodey, Steve
1 Barras, Bruno
1 Bauer, Andrej
1 Bertot, Yves
1 Bezem, Marc
1 Bordg, Anthony
1 Brunerie, Guillaume
1 Carlier, Louis
1 Casacuberta, Carles
1 Cohen, Cyril
1 Constable, Robert Lee
1 Coquand, Thierry
1 Curien, Pierre-Louis
1 Dybjer, Peter
1 Ebrahimi-Fard, Kurusch
1 Finster, Eric
1 Foissy, Loïc
1 Gonthier, Georges
1 González, María del Mar
1 Graber, Tom
1 Grayson, Daniel Richard
1 Hales, Thomas Callister
1 Harper, Robert
1 Haugseng, Rune
1 Herbelin, Hugo
1 Hofmann, Martin
1 Hofstra, Pieter J. W.
1 Hötzel Escardó, Martín
1 Hou (Favonia), Kuen-Bang
1 Kapulkin, Krzysztof
1 Kock, Anders Jungersen
1 Kraus, Nicolai
1 Li, Nuo
1 Licata, Dan
1 Lumsdaine, Peter LeFanu
1 Luo, Zhaohui
1 Mahboubi, Assia
1 Martin-Löf, Per
1 Mascari, Jean-François
1 Melikhov, Sergey Aleksandrovich
1 Moerdijk, Ieke
1 Nahas, Michael
1 Palmgren, Erik
1 Pandharipande, Rahul
1 Patras, Frédéric
1 Pelayo, Alvaro
1 Pitsch, Wolfgang
1 Polonsky, Andrew
1 Riehl, Emily
1 Rijke, Egbert
1 Scott, Dana Stewart
1 Scott, Philip J.
1 Shulman, Michael A.
1 Sojakova, Kristina
1 Solov’ëv, Sergeĭ Vladimirovich
1 Sozeau, Matthieu
1 Spitters, Bas
1
1 Van den Berg, Benno
1 Voevodskiĭ, Vladimir Aleksandrovich
1 Warren, Michael Alton
1 Yang, Paul C. P.
1 Zeilberger, Noam

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 496 times in 326 Documents Cited by Year
Frobenius algebras and 2D topological quantum field theories. Zbl 1046.57001
Kock, Joachim
122
2004
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
122
2013
Polynomial functors and polynomial monads. Zbl 1278.18013
Gambino, Nicola; Kock, Joachim
39
2013
Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory. Zbl 1403.00023
Gálvez-Carrillo, Imma; Kock, Joachim; Tonks, Andrew
33
2018
Polynomial functors and trees. Zbl 1235.18007
Kock, Joachim
26
2011
An invitation to quantum cohomology. Kontsevich’s formula for rational plane curves. Zbl 1114.14001
Kock, Joachim; Vainsencher, Israel
24
2007
Univalence in locally Cartesian closed categories. Zbl 1376.55018
Gepner, David; Kock, Joachim
19
2017
Polynomial functors and opetopes. Zbl 1221.18001
Kock, Joachim; Joyal, André; Batanin, Michael; Mascari, Jean-François
17
2010
Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness. Zbl 1403.18016
Gálvez-Carrillo, Imma; Kock, Joachim; Tonks, Andrew
16
2018
Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract). Zbl 1348.81242
Joyal, André; Kock, Joachim
15
2011
Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees. Zbl 1295.16022
Gálvez-Carrillo, Imma; Kock, Joachim; Tonks, Andrew
12
2014
Simplicial localization of monoidal structures, and a non-linear version of Deligne’s conjecture. Zbl 1074.18006
Kock, Joachim; Toën, Bertrand
11
2005
Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals. Zbl 1403.18017
Gálvez-Carrillo, Imma; Kock, Joachim; Tonks, Andrew
11
2018
Elementary remarks on units in monoidal categories. Zbl 1147.18004
Kock, Joachim
10
2008
Homotopy linear algebra. Zbl 1455.18016
Gálvez-Carrillo, Imma; Kock, Joachim; Tonks, Andrew
10
2018
Hochster duality in derived categories and point-free reconstruction of schemes. Zbl 1373.18008
Kock, Joachim; Pitsch, Wolfgang
10
2017
Categorification of Hopf algebras of rooted trees. Zbl 1270.16030
Kock, Joachim
9
2013
Descendant invariants and characteristic numbers. Zbl 1055.14056
Graber, Tom; Kock, Joachim; Pandharipande, Rahul
9
2002
Regular patterns, substitudes, Feynman categories and operads. Zbl 1398.18008
Batanin, Michael; Kock, Joachim; Weber, Mark
9
2018
Graphs, hypergraphs, and properads. Zbl 1335.05124
Kock, Joachim
9
2016
Simplicial methods for operads and algebraic geometry. Edited by Carles Casacuberta and Joachim Kock. Zbl 1350.14002
Moerdijk, Ieke; Toën, Bertrand
8
2010
Data types with symmetries and polynomial functors over groupoids. Zbl 1342.68216
Kock, Joachim
8
2012
Monads in double categories. Zbl 1225.18003
Fiore, Thomas M.; Gambino, Nicola; Kock, Joachim
7
2011
Note on commutativity in double semigroups and two-fold monoidal categories. Zbl 1184.18004
Kock, J.
7
2007
Perturbative renormalisation for not-quite-connected bialgebras. Zbl 1325.81126
Kock, Joachim
7
2015
Polynomial functors and combinatorial Dyson-Schwinger equations. Zbl 1431.81087
Kock, Joachim
7
2017
Coherence for weak units. Zbl 1319.18001
Joyal, André; Kock, Joachim
6
2013
Weak units and homotopy 3-types. Zbl 1137.18004
Joyal, André; Kock, Joachim
5
2007
Decomposition spaces and restriction species. Zbl 1467.16035
Gálvez-Carrillo, Imma; Kock, Joachim; Tonks, Andrew
5
2020
Faà di Bruno for operads and internal algebras. Zbl 1470.16065
Kock, Joachim; Weber, Mark
5
2019
Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations. Zbl 1481.16039
Ebrahimi-Fard, Kurusch; Foissy, Loïc; Kock, Joachim; Patras, Frédéric
4
2020
Characteristic numbers of rational curves with cusp or prescribed triple contact. Zbl 1038.14022
Kock, Joachim
4
2003
Weak identity arrows in higher categories. Zbl 1158.18008
Kock, Joachim
4
2006
\(\infty\)-operads as analytic monads. Zbl 1494.18019
Gepner, David; Haugseng, Rune; Kock, Joachim
4
2022
The Kontsevich formula for rational plane curves. (A fórmula de Kontsevich para curvas racionais planas.) Zbl 0965.14030
Kock, Joachim; Vainsencher, Israel
3
1999
Double ad junctions and free monads. Zbl 1284.18013
Fiore, Thomas M.; Gambino, Nicola; Kock, Joachim
3
2012
Local fibred right adjoints are polynomial. Zbl 1278.18016
Kock, Anders; Kock, Joachim
2
2013
The incidence comodule bialgebra of the Baez-Dolan construction. Zbl 1465.18014
Kock, Joachim
1
2021
From Möbius inversion to renormalisation. Zbl 1490.16078
Kock, Joachim
1
2020
Antipodes of monoidal decomposition spaces. Zbl 1454.18013
Carlier, Louis; Kock, Joachim
1
2020
Tangency quantum cohomology. Zbl 1050.14054
Kock, Joachim
1
2004
\(\infty\)-operads as analytic monads. Zbl 1494.18019
Gepner, David; Haugseng, Rune; Kock, Joachim
4
2022
The incidence comodule bialgebra of the Baez-Dolan construction. Zbl 1465.18014
Kock, Joachim
1
2021
Decomposition spaces and restriction species. Zbl 1467.16035
Gálvez-Carrillo, Imma; Kock, Joachim; Tonks, Andrew
5
2020
Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations. Zbl 1481.16039
Ebrahimi-Fard, Kurusch; Foissy, Loïc; Kock, Joachim; Patras, Frédéric
4
2020
From Möbius inversion to renormalisation. Zbl 1490.16078
Kock, Joachim
1
2020
Antipodes of monoidal decomposition spaces. Zbl 1454.18013
Carlier, Louis; Kock, Joachim
1
2020
Faà di Bruno for operads and internal algebras. Zbl 1470.16065
Kock, Joachim; Weber, Mark
5
2019
Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory. Zbl 1403.00023
Gálvez-Carrillo, Imma; Kock, Joachim; Tonks, Andrew
33
2018
Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness. Zbl 1403.18016
Gálvez-Carrillo, Imma; Kock, Joachim; Tonks, Andrew
16
2018
Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals. Zbl 1403.18017
Gálvez-Carrillo, Imma; Kock, Joachim; Tonks, Andrew
11
2018
Homotopy linear algebra. Zbl 1455.18016
Gálvez-Carrillo, Imma; Kock, Joachim; Tonks, Andrew
10
2018
Regular patterns, substitudes, Feynman categories and operads. Zbl 1398.18008
Batanin, Michael; Kock, Joachim; Weber, Mark
9
2018
Univalence in locally Cartesian closed categories. Zbl 1376.55018
Gepner, David; Kock, Joachim
19
2017
Hochster duality in derived categories and point-free reconstruction of schemes. Zbl 1373.18008
Kock, Joachim; Pitsch, Wolfgang
10
2017
Polynomial functors and combinatorial Dyson-Schwinger equations. Zbl 1431.81087
Kock, Joachim
7
2017
Graphs, hypergraphs, and properads. Zbl 1335.05124
Kock, Joachim
9
2016
Perturbative renormalisation for not-quite-connected bialgebras. Zbl 1325.81126
Kock, Joachim
7
2015
Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees. Zbl 1295.16022
Gálvez-Carrillo, Imma; Kock, Joachim; Tonks, Andrew
12
2014
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
122
2013
Polynomial functors and polynomial monads. Zbl 1278.18013
Gambino, Nicola; Kock, Joachim
39
2013
Categorification of Hopf algebras of rooted trees. Zbl 1270.16030
Kock, Joachim
9
2013
Coherence for weak units. Zbl 1319.18001
Joyal, André; Kock, Joachim
6
2013
Local fibred right adjoints are polynomial. Zbl 1278.18016
Kock, Anders; Kock, Joachim
2
2013
Data types with symmetries and polynomial functors over groupoids. Zbl 1342.68216
Kock, Joachim
8
2012
Double ad junctions and free monads. Zbl 1284.18013
Fiore, Thomas M.; Gambino, Nicola; Kock, Joachim
3
2012
Polynomial functors and trees. Zbl 1235.18007
Kock, Joachim
26
2011
Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract). Zbl 1348.81242
Joyal, André; Kock, Joachim
15
2011
Monads in double categories. Zbl 1225.18003
Fiore, Thomas M.; Gambino, Nicola; Kock, Joachim
7
2011
Polynomial functors and opetopes. Zbl 1221.18001
Kock, Joachim; Joyal, André; Batanin, Michael; Mascari, Jean-François
17
2010
Simplicial methods for operads and algebraic geometry. Edited by Carles Casacuberta and Joachim Kock. Zbl 1350.14002
Moerdijk, Ieke; Toën, Bertrand
8
2010
Elementary remarks on units in monoidal categories. Zbl 1147.18004
Kock, Joachim
10
2008
An invitation to quantum cohomology. Kontsevich’s formula for rational plane curves. Zbl 1114.14001
Kock, Joachim; Vainsencher, Israel
24
2007
Note on commutativity in double semigroups and two-fold monoidal categories. Zbl 1184.18004
Kock, J.
7
2007
Weak units and homotopy 3-types. Zbl 1137.18004
Joyal, André; Kock, Joachim
5
2007
Weak identity arrows in higher categories. Zbl 1158.18008
Kock, Joachim
4
2006
Simplicial localization of monoidal structures, and a non-linear version of Deligne’s conjecture. Zbl 1074.18006
Kock, Joachim; Toën, Bertrand
11
2005
Frobenius algebras and 2D topological quantum field theories. Zbl 1046.57001
Kock, Joachim
122
2004
Tangency quantum cohomology. Zbl 1050.14054
Kock, Joachim
1
2004
Characteristic numbers of rational curves with cusp or prescribed triple contact. Zbl 1038.14022
Kock, Joachim
4
2003
Descendant invariants and characteristic numbers. Zbl 1055.14056
Graber, Tom; Kock, Joachim; Pandharipande, Rahul
9
2002
The Kontsevich formula for rational plane curves. (A fórmula de Kontsevich para curvas racionais planas.) Zbl 0965.14030
Kock, Joachim; Vainsencher, Israel
3
1999
all top 5

Cited by 393 Authors

21 Kock, Joachim
9 Hackney, Philip
6 Gálvez-Carrillo, Imma
6 Spivak, David I.
6 Tonks, Andrew
5 Batanin, Michael A.
5 Weber, Mark
4 Banerjee, Abhishek
4 Berger, Clemens
4 Bremner, Murray R.
4 Cavalieri, Renzo
4 Chu, Hongyi
4 Gambino, Nicola
4 Garner, Richard
4 Haugseng, Rune
4 Korff, Christian
4 Mukherjee, Ritwik
4 Robertson, Marcy
4 Sabadini, Nicoletta
4 Sattler, Christian
4 Scheimbauer, Claudia I.
4 Shulman, Michael A.
4 Vicary, Jamie
4 Walters, Robert F. C.
3 Bergner, Julie
3 Biswas, Indranil
3 Carlier, Louis
3 Coecke, Bob
3 Drummond-Cole, Gabriel C.
3 Fiore, Marcelo P.
3 Fiore, Thomas M.
3 González-Prieto, Ángel
3 Kaufmann, Ralph M.
3 Osorno, Angélica Maria
3 Ozornova, Viktoriya
3 Pandharipande, Rahul
3 Paoli, Simona
3 Rasekh, Nima
3 Rovelli, Martina
3 Runkel, Ingo
3 Schweigert, Christoph
3 Szegedy, Lóránt
3 Walker, Charles
3 Xi, Changchang
3 Yau, Donald Y.
2 Bagherzadeh, Fatemeh
2 Bai, Chengming
2 Bärligea, Christoph Mark
2 Basold, Henning
2 Blumberg, Andrew J.
2 Böhm, Gabriella
2 Borinsky, Michael
2 Brugallé, Erwan
2 Bryan, Jim
2 Carqueville, Nils
2 Coquand, Thierry
2 Curien, Pierre-Louis
2 de Francesco Albasini, Luisa
2 Dotsenko, Vladimir Viktorovich
2 Ebrahimi-Fard, Kurusch
2 Ehrig, Michael
2 Freed, Daniel Stuart
2 Gepner, David
2 Giansiracusa, Noah
2 Gilliers, Nicolas
2 Hadzihasanovic, Amar
2 Henry, Simon
2 Hrbek, Michal
2 Huber, Simon
2 Hyvernat, Pierre
2 Jiménez Rolland, Rita
2 Kapulkin, Krzysztof
2 Kauffman, Louis Hirsch
2 Logares, Marina
2 Lumsdaine, Peter LeFanu
2 Markl, Martin
2 Mehta, Rajan Amit
2 Moerdijk, Ieke
2 Müller, Lukas
2 Muñoz Velázquez, Vicente
2 Obradović, Jovana
2 Palazzo, David
2 Petrić, Zoran
2 Przytycki, Józef Henryk
2 Raptis, George
2 Robert, Louis-Hadrien
2 Saville, Philip
2 Schultz, Patrick
2 Shoikhet, Boris B.
2 Stern, Walker H.
2 Stevenson, Greg
2 Stroppel, Catharina H.
2 Tatar, Ahmet Emin
2 Thanh, Cédric Ho
2 Toën, Bertrand
2 Tubbenhauer, Daniel
2 Tull, Sean
2 Vainsencher, Israel
2 Van den Berg, Benno
2 Vasilakopoulou, Christina
...and 293 more Authors
all top 5

Cited in 116 Serials

27 Advances in Mathematics
16 Journal of Pure and Applied Algebra
15 Algebraic & Geometric Topology
13 Theory and Applications of Categories
10 Applied Categorical Structures
7 Communications in Mathematical Physics
7 MSCS. Mathematical Structures in Computer Science
7 Journal of Knot Theory and its Ramifications
6 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications
5 Communications in Algebra
5 Mathematische Zeitschrift
5 Proceedings of the American Mathematical Society
5 Documenta Mathematica
5 Journal of High Energy Physics
5 Journal of Homotopy and Related Structures
5 Logical Methods in Computer Science
5 Higher Structures
4 Mathematical Proceedings of the Cambridge Philosophical Society
4 Transactions of the American Mathematical Society
4 Journal of Noncommutative Geometry
4 Quantum Topology
3 Journal of Mathematical Physics
3 Geometriae Dedicata
3 Journal of Algebra
3 Journal of the London Mathematical Society. Second Series
3 Semigroup Forum
3 Topology and its Applications
3 Linear Algebra and its Applications
3 Communications in Contemporary Mathematics
2 Letters in Mathematical Physics
2 Nuclear Physics. B
2 Rocky Mountain Journal of Mathematics
2 Reviews in Mathematical Physics
2 Bulletin of the London Mathematical Society
2 Duke Mathematical Journal
2 Glasgow Mathematical Journal
2 Inventiones Mathematicae
2 Mathematische Annalen
2 Bulletin of the American Mathematical Society. New Series
2 Expositiones Mathematicae
2 Bulletin des Sciences Mathématiques
2 Transformation Groups
2 Geometry & Topology
2 Journal of the European Mathematical Society (JEMS)
2 Journal of Algebra and its Applications
2 Journal of Topology
2 Tbilisi Mathematical Journal
2 Science China. Mathematics
2 Research in the Mathematical Sciences
1 Bulletin of the Australian Mathematical Society
1 Israel Journal of Mathematics
1 Journal of Geometry and Physics
1 Anais da Academia Brasileira de Ciências
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Archiv der Mathematik
1 Canadian Journal of Mathematics
1 Collectanea Mathematica
1 Compositio Mathematica
1 Czechoslovak Mathematical Journal
1 Fundamenta Mathematicae
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Combinatorial Theory. Series A
1 Journal für die Reine und Angewandte Mathematik
1 Memoirs of the American Mathematical Society
1 Nagoya Mathematical Journal
1 Proceedings of the Edinburgh Mathematical Society. Series II
1 Studia Logica
1 Synthese
1 Theoretical Computer Science
1 Advances in Applied Mathematics
1 Chinese Annals of Mathematics. Series B
1 Bulletin of the Iranian Mathematical Society
1 Journal of Symbolic Computation
1 Revista Matemática Iberoamericana
1 Information and Computation
1 Journal of the American Mathematical Society
1 Forum Mathematicum
1 Science in China. Series A
1 Sugaku Expositions
1 International Journal of Algebra and Computation
1 Annals of Physics
1 Proceedings of the Royal Society of Edinburgh. Section A. Mathematics
1 Boletim da Sociedade Brasileira de Matemática. Nova Série
1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI
1 Algebra Colloquium
1 Journal of Mathematical Sciences (New York)
1 The Electronic Journal of Combinatorics
1 Journal of Functional Programming
1 Selecta Mathematica. New Series
1 Boletín de la Sociedad Matemática Mexicana. Third Series
1 Séminaire Lotharingien de Combinatoire
1 Algebras and Representation Theory
1 Journal of Integer Sequences
1 Acta Mathematica Sinica. English Series
1 Annales Henri Poincaré
1 Portugaliae Mathematica. Nova Série
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Central European Journal of Mathematics
1 Journal of the Institute of Mathematics of Jussieu
1 International Journal of Quantum Information
...and 16 more Serials

Citations by Year