symmetric monoidal (∞,1)-category of spectra
Feynman categories (Kaufmann-Ward 13) are monoidal categories with extra structures and properties that provide categorical way to corepresent operad-like objects.
They are a biequivalent approach to coloured operads and patterns (Kaufmann-Ward 13,Caviglia 15, Batanin-Kock-Weber 15).
Let $C$ be a groupoid, $C^\otimes$ the free symmetric monoidal category on $C$ and $M$ a symmetric monoidal category.
(Kaufman-Ward 2013, Defn 2.1) A symmetric strong monoidal functor $\tau: C^\otimes\to M$ is a Feynman category if the following are satisfied
isomorphisms condition: $\tau^\otimes$ induces an equivalence of symmetric monoidal categories $C^\otimes \cong M_{iso}$
hereditary condition: $\tau$ and $\tau^\otimes$ induce an equivalence of symmetric monoidal categories $(C\downarrow M)^\otimes_{iso}\cong(M\downarrow M)_{iso}$
size condition: For any $\ast \in C$, $(M \downarrow \ast)$ is essentially small.
(Getzler 2009) A symmetric strong monoidal functor $\tau: C^\otimes\to M$ is a regular pattern if the following are satisfied
The latter condition on comma categories ensures the existence of certain (pointed) Kan extensions.
The condition of a pattern or that of being hereditary guarantees that there is a left adjoint free functor for the forgetful functor of restricting a monoidal functor from $M$ to $C$. This leads to a monadacity theorem for strong monoidal functors from $M$ to some cocomplete $D$, namely that they are equivalent to algebras over the monad of the adjunction.
Furthermore any morphisms $f$ in the 2-category of Feynman categories defines a pull–back $f^*$ on strong monoidal functors and a left adjoint push-forward $f_!$ computed by a left Kan extension. The theorem is that the Kan extension is strong monoidal.
The relationship to patterns and groupoid colored operads is given in Kaufmann-Ward 13 and was further upgraded to an equivalence of 2-categories between the 2-category of Feynman categories and that of coloured operads (Caviglia 15, Batanin-Kock-Weber 15). This allows to import results from Feynman categories such as W-constructions to the other theories.
Related items include operad, Feynman transform.
The axiomatics is proposed in
A more recent survey is in
The biequivalence of Feynman catgeories with coloured operads is proven in
Giovanni Caviglia, Section A.1 of: The Dwyer-Kan model structure for enriched coloured PROPs (arXiv:1510.01289)
Michael Batanin, Joachim Kock, Mark Weber, Regular patterns, substitudes, Feynman categories and operads, Theory Appl. Categ. 33 (2018), 148–192 (arXiv:1510.08934)
A representation-theoretical viewpoint is given in
A useful generalization is exhibited in
Certain bialgebras and Hopf algebras appear by universal constructions in the setting of Feynman categories:
We consider three a priori totally different setups for Hopf algebras from number theory, mathematical physics and algebraic topology. These are the Hopf algebras of Goncharov for multiple zeta values, that of Connes–Kreimer for renormalization, and a Hopf algebra constructed by Baues to study double loop spaces. We show that these examples can be successively unified by considering simplicial objects, cooperads with multiplication and Feynman categories at the ultimate level. These considerations open the door to new constructions and reinterpretation of known constructions in a large common framework.
Role of left Kan extensions of specific kind in operadic theory, including in the setup of Feynman categories is investigated in
Getzler’s axiomatics of regular patterns is similar in spirit to Feynman categories.
A connection of Feynman categories to (a generalization of) profunctors and to rewriting systems within a proposal to categorification of the cyclic operads are exhibited in
Interesting pair of functors (not an adjoint pair!) between operadic categories and Feynman categories is among the topics studied in
Last revised on November 14, 2022 at 20:09:39. See the history of this page for a list of all contributions to it.