Feynman Categories: Unifying Operad Structures

• Feynman categories are a categorical framework that unifies operads, PROPs, modular operads, and variants using symmetric monoidal and groupoid data.
• They provide a universal setting for encoding operations and relations with unique factorization, supporting constructions like bar/cobar and Koszul duality.
• This framework underpins derived and homotopical techniques with far-reaching applications in algebra, topology, geometry, combinatorics, and quantum field theory.

A Feynman category is a categorical framework unifying the theory of operads, PROPs, modular operads, and their variants via symmetric monoidal and groupoid-theoretic data, permitting the uniform encoding of operations, relations, and their representations in algebra, topology, geometry, and combinatorics. The structure axiomatizes the factorization of morphisms into elementary operations, providing a setting for monadicity, bar/cobar constructions, Koszul duality, and geometric correspondences, and giving rise to model structures supporting derived and homotopical techniques.

1. Foundational Definition and Structure

A Feynman category is formally given by a triple $(\mathcal{V}, \mathcal{F}, i)$, where:

• $\mathcal{V}$ is a small groupoid (the "colors" or "vertices").
• $\mathcal{F}$ is a symmetric (strict) monoidal category.
• $i : \mathcal{V} \to \mathcal{F}$ is a strong symmetric monoidal functor, canonically extended to $$i^{\otimes} : \mathcal{V}^{\otimes} \to \mathcal{F}$$, the free symmetric monoidal category on $\mathcal{V}$.

The axioms are:

1. Isomorphism (Object) Condition: $i^{\otimes}$ induces an equivalence of symmetric monoidal groupoids $$\mathcal{V}^{\otimes} \simeq \mathrm{Iso}(\mathcal{F})$$, so every object of $\mathcal{F}$ is a (unique up to isomorphism) tensor of objects from $i(\mathcal{V})$, and all isomorphisms in $\mathcal{F}$ arise from those in $\mathcal{V}^{\otimes}$.
2. Hereditary (Morphisms) Condition: Morphisms in $\mathcal{F}$ factor uniquely (up to permutation and isomorphism) as tensor products of "basic" morphisms landing in $i(\mathcal{V})$. This is a symmetric monoidal equivalence on certain comma categories.
3. Size Condition: For each $* \in \mathrm{Ob}\,\mathcal{V}$, the comma category $(\mathcal{F} \downarrow i(*))$ is essentially small.

The basic morphisms (or "one-comma generators") are those of the form $v_1 \otimes \dots \otimes v_n \to v_0$ for $v_i, v_0 \in \mathcal{V}$. Every morphism in $\mathcal{F}$ then factors as a (possibly permuted) tensor product of these basic types (Kaufmann et al., 2013, Kaufmann et al., 2016, Kaufmann, 2017).

2. Corepresented Structures: Operads, PROPs, and Generalizations

Feynman categories capture and unify the categorical underpinnings of classical operadic and "operad-like" theories:

Structure Type	$\mathcal{V}$	$\mathcal{F}$	$\mathcal{F}$-ops recover
Operads	Corollas (1-vertex trees)	Trees (flags, grafting)	Classical (non-unital) operads
PROPs	Corollas	Directed graphs (w/ in/out legs)	PROPs
Modular operads	Genus-labeled corollas	Connected graphs w/ loops/genus	Modular operads
Properads	Input/output corollas	Connected directed graphs	Properads
Cyclic operads	Symmetric corollas	Unrooted trees	Cyclic operads
Colored/typed variants	Corollas w/ color set	Decorations restrict morphisms	Colored operads, PROPs, etc.

Decorations and subcategories produce planar (non-$\Sigma$), multi-colored, and other variants through natural constructions in the Feynman category formalism (Kaufmann et al., 2013, Kaufmann et al., 2016, Kaufmann, 2017, Batanin et al., 2015).

Algebras over operads are recovered by plus constructions (see below), and new structures such as FI-modules or augmented simplicial objects are also encompassed.

3. Monadicity, Free Constructions, and Functoriality

There is a monadic adjunction:

• Forgetful functor $$G : \mathcal{F}\textrm{-Ops}_{\mathcal{C}} \to \mathcal{V}\textrm{-Mods}_{\mathcal{C}}$$ (restriction along $i$),
• Left adjoint $F$ (Kan extension/convolution),
• $\mathcal{F}\textrm{-Ops}_{\mathcal{C}}$ is equivalent to the category of algebras for the associated monad.

Every strong monoidal functor $$f : (\mathcal{V},\mathcal{F}) \to (\mathcal{V}',\mathcal{F}')$$ of Feynman categories induces adjoint pairs on the corresponding $\mathcal{F}$-ops and $\mathcal{F}'$-ops categories, generalizing induction and restriction. This formalizes the passage between different operadic-like frameworks and allows Kan extension methods to implement classical free-forgetful and envelope constructions (Kaufmann, 2017, Kaufmann et al., 2013).

4. Plus Constructions, Unique Factorization Categories, and Plethysm Monoids

The plus-construction, as developed in Baez–Dolan/Kaufmann–Ward, generalizes the passage from monoids to operads:

• For any symmetric monoidal category $C$, the category $C^+$ is defined whose objects are sequences of morphisms in $C$ and whose morphisms are generated by composition and wreath-product isomorphisms.
• If $C$ is a hereditary unique factorization category (UFC), then $C^+$ forms a Feynman category in which the basic morphisms are decorated composition graphs.
• Plethysm monoids: Strong symmetric monoidal functors out of $C^+$ correspond to unital bimodule monoids under the plethysm product, and free-algebra functors are strong monoidal precisely in the Feynman category case.
• This framework characterizes when algebras over a category can be described as plethysm monoids and explains the impossibility of such monoidal encodings for cyclic or modular operads (Kaufmann et al., 2022).

5. Koszul Duality, Cubical Feynman Categories, and Minimal Resolutions

A cubical Feynman category is a Feynman category equipped with a degree function $\deg: \mathrm{Mor}\,\mathcal{F} \to \mathbb{N}_0$, compatible with tensor and composition, with all non-isomorphisms factoring into degree 1 and 0. Such categories are quadratic: $\mathrm{k}[\mathcal{F}]$ is generated in degree 1 with quadratic relations.

The principal results:

• Every cubical Feynman category is Koszul, i.e., the canonical map from the cobar construction on the linear dual $\Omega(\mathcal{F}^*)$ to its quadratic dual $\mathcal{F}^!$ is a quasi-isomorphism in each color (Kaufmann et al., 2021).
• The corresponding dg-operad $\overline{\mathcal{F}} := \Omega(\mathcal{F}^*)$ is an explicit, minimal cofibrant resolution of $\mathcal{F}$.
• In the case of operads, cyclic or modular operads, properads, and various non-graph-based examples (e.g., shuffle algebras, permutads), the bar-cobar construction produces classical and $\infty$-versions (e.g., $A_\infty$-operads, $F_\infty$-operads).
• This lifts Koszul duality one categorical level, giving uniform minimal models across a wide range of algebraic structure types, supporting systematic computations in deformation theory and rational homotopy (Kaufmann et al., 2021, Coron, 2022).

6. Decorated, Enriched, and Graph-Based Feynman Categories

The decorated Feynman category construction takes a Feynman category $(\mathcal{V},\mathcal{F},i)$ and a strong symmetric monoidal functor $\mathcal{O} : \mathcal{F} \to \mathcal{C}$ to produce new decorated categories $$(\mathcal{V}_{\mathrm{dec}}, \mathcal{F}_{\mathrm{dec}}, i_{\mathrm{dec}})$$ with objects $(X,a)$ ($X \in \mathcal{F}$, $a \in \mathcal{O}(X)$) and morphisms compatible with the action of $\mathcal{O}$. The resulting category retains the Feynman structure (Kaufmann et al., 2016).

This mechanism unifies the construction of non-Σ operads, cyclic operads, modular variants, graph complexes, and their Lie-type or dihedral analogues. The formalism is fully functorial, accommodates minimal extensions (corresponding to geometric operations like polygon gluings), and allows explicit manipulation at the level of algebras, modules, and Hopf algebra structures. The graphical representation via colored graphs, box diagrams, and 2-cell pasting encodes composition and relations visually and combinatorially (Kaufmann et al., 2016, Kaufmann et al., 2022).

7. Applications and Formal Biequivalence with Operads

Feynman categories are biequivalent (as 2-categories) to colored operads with invertible 2-cells; this is achieved via the strictification theorem, Guitart exactness subsuming the hereditary axiom, and the biadjunction (Hermida, substitudes/pinned SMCs) (Batanin et al., 2015). The hereditary map, mediating the factorization of morphisms, is recovered as the counit in this structure.

Some significant consequences and applications:

• Geometric realization of moduli spaces: Topological versions of Feynman categories (e.g., modular graph categories) model the combinatorics and cell decompositions of moduli spaces of curves.
• Quantum field theory: The formalism subsumes classical Feynman diagrams, Hopf algebras of renormalization, and cosmic Galois actions via decoration mechanisms.
• Representation theory: Feynman categories generalize the classical notions of groups, modules, and algebras, providing free/forgetful adjunctions, induction, and restriction in broad categorical settings (Kaufmann, 2019).
• Model categories: Functor categories $\mathcal{F}$-Ops admit robust model structures by transfer from the base, enabling derived functor techniques for operads, PROPs, and their variants (Kaufmann et al., 2013, Kaufmann, 2017).

The universal property of the Feynman category formalism is that every operadic-type structure is captured as the category of strong symmetric monoidal functors out of a suitable Feynman category; conversely, every such functor has a canonical Feynman category representing it (Batanin et al., 2015). This universality underpins their adoption as the categorical backbone of contemporary operad theory.

---

References:

(Kaufmann et al., 2013, Batanin et al., 2015, Kaufmann et al., 2016, Kaufmann, 2017, Kaufmann, 2019, Kaufmann et al., 2021, Kaufmann et al., 2022, Coron, 2022)