symmetric monoidal (∞,1)-category of spectra
What has been called Feynman categories (Kaufmann-Ward 17) is a biequivalent way of speaking about coloured operads (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 2017, 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.
There is an equivalence of 2-categories between the 2-category of Feynman categories and that of coloured operads (Caviglia 15, Batanin-Kock-Weber 15).
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 December 1, 2019 at 02:57:44. See the history of this page for a list of all contributions to it.