Regular patterns, substitudes, Feynman categories and operads
From MaRDI portal
Publication:4563231
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 3779585 (Why is no real title available?)
- scientific article; zbMATH DE number 3522196 (Why is no real title available?)
- scientific article; zbMATH DE number 1963527 (Why is no real title available?)
- A dual version of the ribbon graph decomposition of moduli space
- A general coherence result
- A unified framework for generalized multicategories
- A universal property of the convolution monoidal structure
- Abstract substitution in enriched categories
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- Algebraic Kan extensions in double categories
- Derivability structures
- Exact homotopy squares and derivators
- Feynman categories
- Generalized operads and their inner cohomomorphisms
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- Homotopy invariant algebraic structures on topological spaces
- Homotopy theory for algebras over polynomial monads
- Internal algebra classifiers as codescent objects of crossed internal categories
- On a bicomma object condition for KZ-doctrines
- On closed categories of functors
- On operads, bimodules and analytic functors
- Operadic categories and duoidal Deligne's conjecture
- Operads and PROPs
- Operads of natural operations. I: Lattice paths, braces and Hochschild cochains
- Operads revisited
- Permutative categories, multicategories and algebraic \(K\)-theory
- Polynomials in categories with pullbacks
- Representable multicategories
- The Eckmann-Hilton argument and higher operads
- The cartesian closed bicategory of generalised species of structures
- Theory of finite pseudoalgebras
- Tilting theory via stable homotopy theory
- Yoneda structures from 2-toposes
- Yoneda structures on 2-categories
Cited in
(17)- Minimal models for graph-related (hyper)operads
- \(\infty\)-operads as symmetric monoidal \(\infty\)-categories
- Koszul operads governing props and wheeled props
- Feynman categories
- Coextension of scalars in operad theory
- 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\)
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- A criterion for existence of right‐induced model structures
- Free algebras through Day convolution
- Involutive categories, colored $\ast$-operads and quantum field theory
- Comprehensive factorisation systems
- The incidence comodule bialgebra of the Baez-Dolan construction
- Homotopy theory of algebras of substitudes and their localisation
- Koszul Feynman categories
- The equivalence between Feynman transform and Verdier duality
- Deformation theory of cohomological field theories
- Feynman categories and representation theory
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)
