Regular patterns, substitudes, Feynman categories and operads
From MaRDI portal
Publication:4563231
zbMATH Open1398.18008arXiv1510.08934MaRDI QIDQ4563231FDOQ4563231
Authors: Joachim Kock, Mark Weber, Michael Batanin 
Publication date: 7 June 2018
Abstract: We show that the regular patterns of Getzler (2009) form a 2-category biequivalent to the 2-category of substitudes of Day and Street (2003), and that the Feynman categories of Kaufmann and Ward (2013) form a 2-category biequivalent to the 2-category of coloured operads (with invertible 2-cells). These biequivalences induce equivalences between the corresponding categories of algebras. There are three main ingredients in establishing these biequivalences. The first is a strictification theorem (exploiting Power's General Coherence Result) which allows to reduce to the case where the structure maps are identity-on-objects functors and strict monoidal. Second, we subsume the Getzler and Kaufmann--Ward hereditary axioms into the notion of Guitart exactness, a general condition ensuring compatibility between certain left Kan extensions and a given monad, in this case the free-symmetric-monoidal-category monad. Finally we set up a biadjunction between substitudes and what we call pinned symmetric monoidal categories, from which the results follow as a consequence of the fact that the hereditary map is precisely the counit of this biadjunction.
Full work available at URL: https://arxiv.org/abs/1510.08934
File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)
Recommendations
Cites Work
- Exact homotopy squares and derivators
- Title not available (Why is that?)
- A general coherence result
- Homotopy theory for algebras over polynomial monads
- Permutative categories, multicategories and algebraic \(K\)-theory
- A universal property of the convolution monoidal structure
- Yoneda structures on 2-categories
- Representable multicategories
- Homotopy invariant algebraic structures on topological spaces
- The Eckmann-Hilton argument and higher operads
- Yoneda structures from 2-toposes
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- Internal algebra classifiers as codescent objects of crossed internal categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic Kan extensions in double categories
- Polynomials in categories with pullbacks
- Feynman Categories
- On closed categories of functors
- Operads of natural operations. I: Lattice paths, braces and Hochschild cochains
- Operads and PROPs
- A dual version of the ribbon graph decomposition of moduli space
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- Theory of finite pseudoalgebras
- Generalized operads and their inner cohomomorphisms
- Title not available (Why is that?)
- Operadic categories and duoidal Deligne's conjecture
- A unified framework for generalized multicategories
- The cartesian closed bicategory of generalised species of structures
- Abstract substitution in enriched categories
- Operads revisited
- On a bicomma object condition for KZ-doctrines
- Derivability structures
- Tilting theory via stable homotopy theory
- On operads, bimodules and analytic functors
Cited In (16)
- Koszul Feynman categories
- A criterion for existence of right‐induced model structures
- The equivalence between Feynman transform and Verdier duality
- \(\infty\)-operads as symmetric monoidal \(\infty\)-categories
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- Minimal models for graph-related (hyper)operads
- Coextension of scalars in operad theory
- Koszul operads governing props and wheeled props
- The incidence comodule bialgebra of the Baez-Dolan construction
- 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\)
- Involutive categories, colored $\ast$-operads and quantum field theory
- Free algebras through Day convolution
- Feynman categories and representation theory
- Comprehensive factorisation systems
- Homotopy theory of algebras of substitudes and their localisation
- Deformation theory of cohomological field theories
This page was built for publication: Regular patterns, substitudes, Feynman categories and operads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4563231)
