--- abstract: | These are expanded lecture notes from lectures given at the Workshop on higher structures at MATRIX Melbourne. These notes give an introduction to Feynman categories and their applications. Feynman categories give a universal categorical way to encode operations and relations. This includes the aspects of operad–like theories such as PROPs, modular operads, twisted (modular) operads, properads, hyperoperads and their colored versions. There is more depth to the general theory as it applies as well to algebras over operads and an abundance of other related structures, such as crossed simplicial groups, the augmented simplicial category or FI–modules. Through decorations and transformations the theory is also related to the geometry of moduli spaces. Furthermore the morphisms in a Feynman category give rise to Hopf– and bi–algebras with examples coming from topology, number theory and quantum field theory. All these aspects are covered. address: 'Purdue University Department of Mathematics, 150 N. University St., West Lafayette, IN 47907' author: - 'Ralph M. Kaufmann' bibliography: - 'lectbib.bib' title: | Lectures on Feynman categories\ <span>Workshop on higher structures at MATRIX Melbourne\ in Creswick, June 7 and 9, 2016</span> --- Introduction {#introduction .unnumbered} ============ Main Objective -------------- Provide a <span>*lingua universalis*</span> for operations and relations in order to understand their structure. The main idea is just like what Galois realized for groups. Namely, one should separate the theoretical structure from the concrete realizations and representations. What is meant by this is worked out below in the Warm Up section. In what we are considering, we even take one more step back, namely we provide a theoretical structure for theoretical structures. Concretely the theoretical structures are encoded by a Feynman category and the representations are realized as functors from a given Feynman category $\FF$ to a target category $\C$. It turns out, however, that to a large extent there are constructions which pass up and down the hierarchy of theoretical structure vs. representation. In concrete examples, we have a Feynman category whose representations in $\C$ are say algebras. Given a concrete algebra, then there is a new Feynman category whose functors correspond to representations of the algebra. Likewise, for operads, one obtains algebras over the operad as functors. This illustrates the two basic strategies for acquiring new results. The first is that once we have the definition of a Feynman category, we can either analyze it further and obtain internal applications to the theory by building several constructions and getting further higher structures. The second is to apply the found results to concrete settings by choosing particular representations. ### Internal Applications Each of these will be discussed in the indicated section. 1. Realize universal constructions (e.g. free, push–forward, pull–back, plus construction, decorations); see §\[decopar\] and §\[univmasterpar\]. 2. Construct universal transforms (e.g. bar, co–bar) and model category structure; see §\[modelpar\]. 3. Distill universal operations in order to understand their origin (e.g. Lie brackets, BV operators, Master equations); see §\[univmasterpar\]. 4. Construct secondary objects, (e.g. Lie algebras, Hopf algebras); see §\[univmasterpar\] and §\[Hopfpar\]. ### Applications These are mentioned or discussed in the relevant sections and in §\[geopar\]. 1. Transfer to other areas such as algebraic geometry, algebraic topology, mathematical physics, number theory. 2. Find out information of objects with operations. E.g. Gromov-Witten invariants, String Topology, etc. 3. Find out where certain algebra structures come from naturally: pre-Lie, BV, etc. 4. Find out origin and meaning of (quantum) master equations. 5. Construct moduli spaces and compactifications. 6. Find background for certain types of Hopf algebras. 7. Find formulation for TFTs. References ---------- The lectures are based on the following references. 1. with B. Ward. <span>*Feynman categories*</span> @feynman. 2. with J. Lucas. <span>*Decorated Feynman categories*</span> @deco. 3. with B. Ward. and J. Zuniga. <span>*The odd origin of Gerstenhaber brackets, Batalin–Vilkovisky operators and master equations*</span> @KWZ. 4. with I. Galvez–Carrillo and A. Tonks. <span>*Three Hopf algebras and their operadic and categorical background*</span> @GKT. 5. with C. Berger. <span>*Derived Feynman categories and modular geometry*</span> @BK. We also give some brief information on works in progress @KKreimer and further developments @Ward17. Organization of the Notes ------------------------- These notes are organized as follows. We start with a warm up in §\[warmpar\]. This explains how to understand the concepts mentioned in the introduction. That is, how to construct the theoretical structures in the basic examples of group representations and associative algebras. The section also contains a glossary of the terms used in the following. This makes the text more self–contained. We give the most important details here, but refrain from the lengthy full fledged definitions, which can be found in the standard sources. In §\[fdefpar\], we then give the definition of a Feynman category and provide the main structure theorems, such as the monadicity theorem and the theorem establishing push–forward and pull–back. We then further explain the concepts by expanding the notions and providing details. This is followed by a sequence of examples. We also give a preview of the examples of operad–like structures that are discussed in detail in §\[zoopar\]. We end §\[fdefpar\] with a discussion of the connection to physics and a preview of the various constructions for Feynman categories studied in later sections. §\[zoopar\] starts by introducing the category of graphs of Borisov–Manin and the Feynman category $\GG$ which is a subcategory of it. We provide an analysis of this category, which is pertinent to the following sections as a blue print for generalizations and constructions. The usual zoo of operad–like structures is obtained from $\GG$ by decorations and restrictions, as we explain. We also connect the language of Feynman categories to that of operads and operad–like structures. This is done in great detail for the readers familiar with these concepts. We end with omnibus theorems for these structures, which allow us to provide all the three usual ways of introducing these structures (a) via composition along graphs, (b) as algebras over a triple and (c) by generators and relations. Decoration is actually a technical term, which is explained in §\[decopar\]. This paragraph also contains a discussion of so–called non–Sigma, aka. planar versions. We also give the details on how to define the decorations of §\[zoopar\] as decorations in the technical sense. We then discuss how with decorations one can obtain the three formal geometries of Kontsevich and end the section with an outlook of further applications of this theory. The details of enrichments are studied in §\[enrichedpar\]. We start by motivating these concepts through the concrete consideration of algebras over operads. After this prelude, we delve into the somewhat involved definitions and constructions. The central ones are Feynman categories indexed enriched over another Feynman category, the $+$ and $hyp$ constructions. These are tied together in the fact that enrichments indexed over $\FF$ are equivalent to strict symmetric monoidal functors with source $\FF^{hyp}$. This is the full generalization of the construction of the Feynman category for algebras over a given operad. Further constructions are the free monoidal construction $\FF^{\boxtimes}$ for which strict symmetric monoidal functors from $\FF^{\boxtimes}$ to $\C$ are equivalent to ordinary functors from $\FF$. And the nc–construction $\FF^{nc}$ for which the strict symmetric monoidal functors from $\FF^{nc}$ to $\C$ are equivalent to lax monoidal functors from $\FF$. Universal operations, transformations and Master equations are treated in §\[univmasterpar\]. Examples of universal operations are the pre–Lie bracket for operads or the BV structure for non–connected modular operads. These are also the operations that appear in Master Equations. We explain that these Master Equations are equations which appear in the consideration of Feynman transforms. These are similar to bar– and cobar constructions that are treated as well. We explain that the fact that the universal operations appear in the Master Equation is not a coincidence, but rather is a reflection of the construction of the transforms. The definition of the transforms involves odd versions for the Feynman categories, the construction of which is also spelled out. As for algebras, the bar–cobar or the double Feynman transformation are expected to give resolutions. In order to make these statements precise, one needs a Quillen model structure. These model structures are discussed in §\[modelpar\] and we give the conditions that need to be satisfied in order for the transformations above to yield a cofibrant replacement. These model structure are on categories of strict symmetric monoidal functors from the Feynman category into a target category $\C$. The conditions for $\C$ are met for simplicial sets, dg–vector spaces in characteristic $0$ and for topological spaces. The latter requires a little extra work. We also give a W–construction for the topological examples. The geometric counterpart to some of the algebraic constructions is contained in §\[geopar\]. Here we show how the examples relate to various versions of moduli spaces and how master equations correspond to compactifications. Finally, in §\[Hopfpar\] we expound the connection of Feynman categories to Hopf algebras. Surprisingly, the examples considered in §\[fdefpar\] already yield Hopf algebras that are fundamental to number theory, topology and physics. These are the Hopf algebras of Goncharov, Baues and Connes–Kreimer. We give further generalizations and review the full theory. Acknowledgements ---------------- I thankfully acknowledge my co–authors with whom it has been a pleasure to work. I furthermore thank the organizers of the MATRIX workshop for providing the opportunity to give these lectures and for arranging the special issue. The work presented here has at various stages been supported by the Humboldt Foundation, the Institute for Advanced Study, the Max–Planck Institute for Mathematics, the IHES and by the NSF. Current funding is provided by the Simons foundation. Warm up and Glossary {#warmpar} ==================== Here we will discuss how to think about operations and relations in terms of theoretical structures and their representations by looking at two examples. Warm up I: Categorical formulation for representations of a group $G$. ---------------------------------------------------------------------- Let $\underline G$ the category with one object $*$ and morphism set $G$. The composition of morphisms is given by group multiplication $f\circ g:= fg$. This is associative and has the group identity $e$ as a unit $e=id_*$. There is more structure though. Since $G$ is a group, we have the extra structure of inverses. That is every morphism in $\underline G$ is invertible and hence $\underline G$ is a groupoid. Recall that a category in which every morphism is invertible is called a groupoid. ### Representations as functors A representation $(\rho,V)$ of the group $G$ is equivalent to a functor $\underline\rho$ from $\underline G$ to the category of $k$-vector spaces $\Vect_k$. Giving the values of the functor on the sole object and the morphisms provides: $\underline\rho(*)=V$, $\rho(g):=\underline\rho(g)\in Aut(V)$. Functoriality then says $\bar\rho(G)\subset Aut(V)$ is a subgroup and all the relations for a group representation hold. ### Categorical formulation of Induction and Restriction Given a morphism $f:H\to G$ between two groups. There are the restriction and induction of any representation $\rho$: $Res^G_H \rho$ and $Ind_H^G \rho$. The morphism $f$ induces a functor $\underline f$ from $\underline H$ to $\underline G$ which sends the unique object to the unique object and a morphism $g$ to $f(g)$. In terms of functors restriction simply becomes pull–back $\underline f^*(\underline \rho):=\rho\circ \underline f$ while induction becomes push–forward, $\underline{f}_*$, for functors. These even form an adjoint pair. Warm up II: Operations and Relations. Description of Associative Algebras ------------------------------------------------------------------------- An associative algebra in a tensor category $(\C,\otimes)$ is usually given by the following data: An object $A$ and one operation: a multiplication $\mu: A\otimes A\to A$ which satisfies the axiom of the associativity equation: $$(ab)c=a(bc)$$ ### Encoding Think of $\mu$ as a 2-linear map. Let $\circ_1$ and $\circ_2$ be substitution in the 1st respectively the 2nd variable. This allows us to rewrite the associativity equation as $$(\mu\circ_1\mu)(a,b,c):=\mu(\mu(a,b),c)=(ab)c=a(bc)=\mu(a,\mu(b,c)):= (\mu\circ_2\mu)(a,b,c)$$ The associativity hence becomes $$\label{asseq} \mu\circ_1\mu=\mu\circ_2\mu$$ as morphisms $A\otimes A\otimes A \to A$. The advantage of is that it is independent of elements and of $\C$ and merely uses the fact that in multi–linear functions one can substitute. This allows the realization that associativity is an equation about iteration. In order to formalize this, we have to allow all possible iterations. The realization this description affords is that all iterations of $\mu$ resulting in an $n$–linear map are equal. On elements one usually writes $a_1\odo a_n\to a_1\dots a_n$. In short: for an associative algebra one has one basic operation and the relation is that all $n$–fold iterates agree. ### Variations If $\C$ is symmetric, one can also consider the permutation action. Using elements the permutation action gives the opposite multiplication $\tau\mu(a,b)=\mu\circ \tau (a,b)=ba$. This give a permutation action on the iterates of $\mu$. It is a free action and there are $n!$ $n$–linear morphisms generated by $\mu$ and the transposition. One can also think of commutative algebras or unital versions. ### Categories and functors In order to construct the data, we need to have the object $A$, its tensor powers and the multiplication map. Let $\trivial$ be the category with one object $*$ and one morphism $id_*$. We have already seen that the functors from $\trivial$ correspond to objects of $\C$. To get the tensor powers, we let $\alephnsym$ be the category whose objects are the natural numbers including $0$ with only identity morphisms. This becomes a monoidal category with the tensor product given by addition $m\otimes n=m+n$. Strict monoidal functors $\O$ from $\alephnsym\to\C$ are determined by their value on $1$. Say $\O(1)=A$ then $\O(n)=A^{\otimes n}$. To model associative algebras, we need a morphisms $\pi:2\to 1$. A monoidal functor $\O$ will assign a morphism $\mu:=\O(\pi):A\otimes A \to A$. If we look for the "smallest monoidal category" that has the same objects as $\alephnsym$ and contains $\pi$ as a morphism, then this is the category $sk(\Surj_<)$ of order preserving surjections between the sets $\underline{n}$ in their natural order. Here we think of $n$ as $\underline n=\{1,\dots, n\}$. Indeed any such surjection is an iteration of $\pi$. Alternatively, $sk(\Surj_<)$ can be constructed from $\alephnsym$ by adjoining the morphism $\pi$ to the strict monoidal category and modding out by the equation analogous to $:\pi\circ id\otimes \pi=\pi\circ \pi\otimes id$. It is easy to check that functors from $sk(\Surj_<)$ to $\C$ correspond to associative algebras (aka. monoids) in $\C$. From this we already gained that starting from say $k$-algebras, i.e. $\C=Vect_k$ (the category of $k$ vector spaces), we can go to any other monoidal category $\C$ and have algebra objects there. ### Variations The variation in which we consider the permutation operations is very important. In the first step, we will need to consider $\alephsym$, which has the same objects as $\alephnsym$, but has additional isomorphisms. Namely $Hom(n,n)=\SS_n$ the symmetric group on $n$ letters. The functors out of $\alephnsym$ one considers are strict symmetric monoidal functors $\O$ into symmetric monoidal categories $\C$. Again, these are fixed by $\O(1)=:A$, but now every $\O(n)=A^{\otimes n}$ has the $\SS_n$ action of permuting the tensor factors according to the commutativity constraints in $\C$. Adding the morphisms $\pi$ to $\alephsym$ and modding out by the commutativity equations, leaves the "smallest symmetric monoidal category" that contains the necessary structure. This is the category of all surjections $sk(\Surj)$ on the sets $\underline{n}$. Functors from this category are commutative algebra objects, since $\pi\circ \tau=\pi$ if $\tau$ is the transposition. In order to both have symmetry and not force commutativity, one formally does not mod out by the commutativity equations. The result is then equivalent to the category $sk(\Surj_{ord})$ of ordered finite sets with surjections restricted to the sets $\underline{n}$. The objects of $\Surj_{ord}$ are a finite set $S$ with an order $<$. The bijections of $S$ with itself act simply transitively on the orders by push–forward. The second variation is to add an identity. An identity in a $k$–algebra $A$ is described by an element $1_A$, that is a morphism $\eta: k\to A$ with $\eta(1_k)=1_A$. Coding this means that we will have to have one more morphism in the source category. Since $k=\unit$ is the unit of the monoidal structure of $Vect_k$, we see that we need a morphism $u:0\to1$. We then need to mod out by the appropriate equations, which are given by $\eta\circ_1\mu=\eta\circ_2\mu=id$ which translate to $\pi\circ u\otimes id_1=\pi \circ id_1\otimes u=id_1$. Observations ------------ There is a graphical calculus that goes along with the example above. This is summarized in Figure \[corollagraft\]. Adding in the orders corresponds to regarding planar corollas. ![\[corollagraft\] Example of grafting two (planar) corollas. First graft at a leaf and then contract the edge.](corollagraft.pdf){width=".7\textwidth"} We have dealt with strict structures and actually skeletal structures in the examples. This is not preferable for a general theory. Just as it is preferable to work with all finite dimensional vector spaces in lieu of just considering the collection of $k^n$ with matrices as morphisms. Glossary: Key concepts and Notations ------------------------------------ Here is a brief description of key concepts. For more information and full definitions see e.g. @MacLane [@JoyalStreet]. <span>Groupoid:</span> A category in which every morphism is an isomorphism. As we have seen, every group defines a groupoid. Furthermore for any category $\C$, the subcategory $Iso(\C)$ which has the same objects as $\C$ but only includes the isomorphisms of $\C$ is a groupoid. <span>Monoidal category:</span> A category $\C$ with a functor $\otimes: \C\times \C \to \C$, associativity constraints and unit constraints. That is an operation on objects $(X,Y)\to X\otimes Y$ and on morphisms $(\phi:X\to Y,\psi:X'\to Y') \to \phi\otimes \psi:X\otimes X'\to Y\otimes Y' $. Furthermore a unit object $\unit$ with isomorphisms $\unit\otimes X\simeq X\simeq X\otimes \unit$ called left and right unit constraints and associativity constraints, which are isomorphisms $a_{X,Y,Z}:X\otimes (Y\otimes Z)\to (X\otimes Y)\otimes Z$. These have to satisfy extra conditions called the pentagon axiom and the triangle equation ensuring the compatibilities. In particular, it is the content of Mac Lane's coherence Theorem that due to these axioms any two ways to iteratively rebracket and add/absorb identities to go from one expression to another are equal as morphisms. A monoidal category is called <span>*strict*</span> if the associativity and unit constraints are identities. Again, due to Mac Lane, every monoidal category is monoidally equivalent to a strict monoidal category (see below). An example is $\Vect_k$ the category of $k$-vector spaces with tensor product $\otimes$. Strictly speaking, the associativity constraint $a_{U,V,W}$ acts on elements as $a_{U,V,W}((u\otimes v)\otimes w))=u\otimes (v\otimes w)$. The unit is $k$ and the unit constraints are $k\otimes U\simeq U\simeq U\otimes k$. <span>Monoidal functor:</span> A (lax) monoidal functor between two monoidal categories $\C$ and $\D$ is an ordinary functor $F:\C\to \D$ together with a morphisms $\phi_0:\Eins_\D\to F(\Eins_\C)$ and a family of natural morphisms $\phi_2:F(X)\otimes_\D F(Y)\to F(X\otimes_\C Y)$, which satisfy compatibility with associativity and the unit. A monoidal functor is called strict if these morphisms are identities and strong if the morphism are isomorphisms. If the morphisms go the other way around, the functor is called co-monoidal. <span>Symmetric Monoidal Category:</span> A monoidal category $\C$ with all the structures above together with commutativity constraints which are isomorphisms $c_{X,Y}:X\otimes Y \to Y\otimes X$. These have to satisfy the axioms of the symmetric group, i.e. $c_{Y,X}\circ c_{X,Y}=id$ and the braiding for three objects. Furthermore, they are compatible with the associativity constraints, which is expressed by the so–called hexagon equation. For $\Vect_k$, the symmetric structure $c_{U,V}$ is given on elements as $c_{U,V}(u\otimes v)=v\otimes u$. We can also consider $\Z$–graded vector spaces. In this category, the commutativity constraint on elements is given by $c_{U,V}(u\otimes v)=(-1)^{deg(u)deg(v)}v\otimes u$ where $deg(u)$ is the $\Z$–degree of $u$. <span>Symmetric monoidal functors:</span> A symmetric monoidal functor is a monoidal functor, for which the $\phi_2$ commute with the commutativity constraint. <span>Free monoidal categories:</span> There are several versions of these depending on whether one is using strict or non–strict and symmetric versions or non–symmetric versions. Let $\V$ be a category. A free (strict/symmetric) category on $\V$ is a (strict/symmetric) monoidal category $\V^{\otimes}$ and a functor $\jmath:\V\to \V^{\otimes}$ such that any functor $\imath:\V\to \F$ to a (strict/symmetric) category $\F$ factors as $$\label{itensordefeq} \xymatrix{ \V\ar[dr]^{\jmath}\ar^{\imath}[rr]&&\F\\ &\V^{\otimes}\ar^{\imath^{\otimes}}[ur]& }$$ where $\imath^{\otimes}$ is a (strict/symmetric) monoidal functor. The free strict monoidal category is given by words in objects of $\V$ and words of morphisms in $\V$. The free monidal category is harder to describe. Its objects are iteratively build up from $\otimes$ and the constraints, see @JoyalStreet, where it is also shown that: There is a strict monoidal equivalence between the free monoidal category and the strict free monoidal category. This allows us some flexibility when we are interested in data given by a category up to equivalence. If one includes "symmetric" into the free monoidal category, then one (iteratively) adds morphisms to the free categories that are given by the commutativity constraints. In the strict case, one gets commutative words, but extra morphisms from the commutativity constraints. As an example, regard the trivial category $\trivial$: $\trivial^{\otimes,strict}=\alephnsym$ while $\trivial^{\otimes symmetric,strict}=\alephsym$. <span>Skeleton of a category:</span> A skeleton $sk(\C)$ of a category $\C$ is a category that is equivalent to $\C$, but only has one object in each isomorphism class. An example is the category of ordered finite sets $FinSet$ and morphisms between them with the disjoint union as a symmetric monoidal category. A skeleton for this category is given by the category whose objects are natural numbers, where each such object $n$ is thought of as the set $\underline n=\{1,\dots,n\}$ and all morphisms between them. This category is known as the (augmented) crossed simplicial group $\Delta_+S$. <span>Underlying discrete category:</span> The underlying discrete category of a category $\C$ is the subcategory which has the same objects as $\C$, but retains the identity maps. It will be denoted by $\C_0$. For instance $\alephsym_0=\alephnsym$. <span>Underlying groupoid of a category:</span> For a category $\C$ the underlying groupoid $Iso(\C)$ is the subcategory of $\C$ which has the same objects as $\C$ buy only retains all the isomorphisms in $\C$. <span>Comma categories:</span> Recall that for two functors $\imath:\D\to \C$ and $\jmath:\CalE\to \C$, the comma category $(\jmath\downarrow \imath)$ is the category whose objects are morphisms $\phi\in Hom_{\C}(\jmath(X), \imath(Y))$. A morphism between such $\phi$ and $\psi$ is given by a commutative diagram. $$\xymatrix{ \jmath(X)\ar[d]_{\jmath(f)}\ar[r]^{\phi}&\imath(Y)\ar[d]^{\imath(g)}\\ \jmath(X')\ar[r]_{\psi}&\imath(Y') }$$ with $f\in Hom_{\D}(X,X'), g\in Hom_{\CalE}(Y,Y')$. We will write $(\imath(f),\imath(g))$ for such morphisms or simply $(f,g)$. If a functor, say $\imath: \V\to \F$, is fixed we will just write $(\F\downarrow \V)$, and given a category $\CalG$ and an object $X$ of $\CalG$, we denote the respective comma category by $(\CalG\downarrow X)$. I.e. objects are morphisms $\phi: Y\to X$ with $Y$ in $\CalG$ and morphisms are morphisms over $X$, that is morphisms $Y\to Y'$ in $\CalG$ which commute with the base maps to $X$. This is sometimes also called the slice category or the category of objects over $X$. Feynman categories {#fdefpar} ================== With the examples and definitions of the warm up in mind, we give the definition of Feynman categories and then discuss several basic examples. The Feynman categories will give the operations and relations part. The concrete examples of the structures thus encoded are then given via functors, just like discussed above. Definition ---------- ### Data for a Feynman category 1. $\V$ a groupoid 2. $\F$ a symmetric monoidal category 3. $\imath: \V\to \F$ a functor. Let $\V^{\otimes}$ be the free symmetric category on $\V$ and $\imath^\otimes$ the functor in . Feynman category ---------------- \[feynmandef\] The data of triple $\FF=(\V,\F,\imath)$ as above is called a Feynman category if the following conditions hold. 1. \[objectcond\] $\imath^{\otimes}$ induces an equivalence of symmetric monoidal categories between $\V^{\otimes}$ and $Iso(\F)$. 2. \[morcond\] $\imath$ and $\imath^{\otimes}$ induce an equivalence of symmetric monoidal categories between $(Iso(\F\downarrow \V))^{\otimes}$ and $Iso(\F\downarrow \F)$ . 3. For any $\ast\in \asts$, $(\clusters\downarrow\ast)$ is essentially small. Condition (i) is called the <span>*isomorphisms condition*</span>, (ii) is called the <span>*hereditary condition*</span> and (iii) the <span>*size condition*</span>. The objects of $(\F\downarrow \V)$ are called <span>*one–comma generators*</span>. ### Non-symmetric version Now let $(\V,\F,\imath)$ be as above with the exception that $\F$ is only a monoidal category, $\V^{\otimes}$ the free monoidal category, and $\imath^{\otimes}$ is the corresponding morphism of monoidal groupoids. A non-symmetric triple $\FF=(\V,\F,\imath)$ as above is called a *non-$\Sigma$* Feynman category if 1. \[nonsymobjectcond\] $\imath^{\otimes}$ induces an equivalence of monoidal groupoids between $\V^{\otimes}$ and $Iso(\F)$. 2. \[nonsymmorcond\] $\imath$ and $\imath^{\otimes}$ induce an equivalence of monoidal groupoids $Iso(\F\downarrow \V)^{\otimes}$ and $Iso(\F\downarrow \F)$. 3. For any object $\ast_v$ in $\asts$, $(\clusters\downarrow\ast_v)$ is essentially small. $\opcat$ and $\smodcat$ ----------------------- Fix a symmetric monoidal category $\CalC$ and $\FF=(\V,\F,\imath)$ a Feynman category. - $\fopsc:=Fun_{\otimes}(\clusters,\CalC)$ is defined to be the category of strong symmetric monoidal functors which we will call $\F$–ops in $\CalC$. An object of the category will be referred to as an $\F$-$\oper$ in $\C$. - $\vmodsc:=Fun(\asts,\CalC)$, the set of (ordinary) functors will be called $\V$-mods in $\CalC$ with elements being called a $\V$–mod in $\C$. There is an obvious forgetful functor $G:\opcat\to \smodcat$ given by restriction. The forgetful functor $G:\opcat\to \smodcat$ has a left adjoint $F$ (free functor) and this adjunction is monadic. This means that the category of the algebras over the triple $\T=GF$ in $\C$ are equivalent to the category of $\F$-$\opcat_\C$. Morphisms between Feynman categories are given by strong monoidal functors that preserve the structures. Natural transformations between them give 2–morphisms. The categories $\F$-$\opcat_\C$ and $\F$-$\smodcat_\C$ again are symmetric monoidal categories, where the symmetric monoidal structure is inherited from $\C$. E.g. the tensor product is pointwise, $(\O\otimes \O')(X):=\O(X)\otimes \O'(X)$, and the unit is the functor $\Eins_{\opcat}:\F\to \C$. I.e. the functor that assigns $\unit_\C\in Obj(\C)$ to any object in $\V$, and which sends morphisms to the identity morphism. This is a strong monoidal functor by using the unit constraints. Feynman categories form a 2–category and it has push–forwards and pull–backs for $\opcat$. That is , for a morphism of Feynman categories $f$, both push–forward $f_*$ and pull-back $f^*$ are adjoint symmetric monoidal functors $f_*:\F-\opcat_C \leftrightarrows \F'-\opcat_C:f^*$. Details ------- ### Details on the Definition {#detaildefpar} The conditions can be expanded and explained as follows. 1. Since $\V$ is a groupoid, so is $\V^{\otimes}$. Condition (i) on the object level says, that any object $X$ of $\F$ is isomorphic to a tensor product of objects coming from $\V$. $X\simeq \bigotimes_{v\in I}\imath(\ast_v)$. On the morphisms level it says that all the isomorphisms in $\F$ basically come from $\V$ via tensoring basic isomorphisms of $\V$, the commutativity and the associativity constraints. In particular, any two decompositions of $X$ into $\bigotimes_{v\in I}\imath(\ast_v)$ and $\bigotimes_{v'\in I}\imath(\ast_v')$ there is a bijection $\Psi:I\leftrightarrow I'$ and an isomorphism $\sigma_v:\imath(\ast_v)\to \imath(\ast_{v'})$. This implies that for any $X$ there is a unique length $|I|$, where $I$ is any index set for a decomposition of $X$ as above, which we denote by $|X|$. The monoidal unit $\Eins_F$ has length $0$ as the tensor product over the empty index set. 2. Condition (ii) of the definition of a Feynman category is to be understood as follows: An object in $(\F\downarrow \V)$ is a morphism $\phi:X\to \imath (\ast)$, with $\ast$ in $Obj(\V)$. An object in $(\F\downarrow \V)^{\otimes}$ is then a formal tensor product of such morphisms, say $\phi_v: X_v\to \imath(\ast_v)$, $v\in I$ for some index set $I$. To such a formal tensor product, the induced functor assigns $\bigotimes_{v\in V}\phi_v:\bigotimes_v X_v\to \bigotimes_v \ast_v$, which is a morphisms in $\F$ and hence an object of $(\F\downarrow \F)$. The functor is defined in the same fashion on morphisms. Recall that an isomorphism in a comma category is given by a commutative diagram, in which the vertical arrows are isomorphisms, the horizontal arrows being source and target. In our case the equivalence of the categories on the object level says that any morphisms $\phi:X\to X'$ in $\F$ has a "commutative decomposition diagram" as follows $$\label{morphdecompeq} \xymatrix { X \ar[rr]^{\phi}\ar[d]_{\simeq}&& X'\ar[d]^{\simeq} \\ \bigotimes_{v\in I} X_v\ar[rr]^{\bigotimes_{v\in I}\phi_{v}}&&\bigotimes_{v\in I} \imath(\ast_v) }$$ which means that when $\phi: X\to X'$ and $X'\simeq \bigotimes_{v\in I} \imath(\ast_v)$ are fixed there are $X_v\in \F,$ and $\phi_v\in Hom(X_v,\ast_v)$ s.t. the above diagram commutes. The morphisms part of the equivalence of categories means the following: 1. For any two such decompositions $\bigotimes_{v\in I} \phi_v$ and $\bigotimes_{v'\in I'}\phi'_{v'}$ there is a bijection $\psi:I\to I'$ and isomorphisms $\sigma_v:X_v\to X'_{\psi(v)}$ s.t. $P^{-1}_{\psi}\circ \bigotimes_v \sigma_v\circ \phi_v =\bigotimes \phi'_{v'}$ where $P_{\psi}$ is the permutation corresponding to $\psi$. 2. These are the only isomorphisms between morphisms. As it is possible that $X_v=\Eins$, the axiom allows to have morphisms $\Eins\to X'$, which are decomposable as a tensor product of morphisms $\Eins\to \imath(\ast_v)$. On the other hand, there can be no morphisms $X\to \Eins$ for any object $X$ with $|X|\geq 1$. If $\Eins$ is the target, the index set $I$ is empty and hence $X\simeq \Eins$, since the tensor product over the empty set is the monoidal unit. We set the length of a morphisms to be $|\phi|=|X|-|X'|$. This can be positive or negative in general. In many interesting examples, it is, however, either non–positive or non–negative. 3. The last condition is a size condition, which ensures that certain colimits over these comma–categories to cocomplete categories exist. ### Details on the adjoint free functor The free functor $F$ is defined as follows: Given a $\asts$–module $\Phi$, we extend $\Phi$ to all objects of $\clusters$ by picking a functor $\jmath$ which yields the equivalence of $\V^{\otimes}$ and $Iso(\F)$. Then, if $\jmath(X)=\bigotimes_{v\in I}\ast_v$, we set $$\Phi(X):=\bigotimes_{v\in I}\Phi(\ast_v)$$ Now, for any $X\in\clusters$ we set $$\label{kandefeq} F(\Phi)(X)=\colim_{Iso(\clusters\downarrow X)}\Phi\circ s$$ where $s$ is the source map in $\clusters$ from $Hom_{\clusters}\to Obj_{\clusters}$ and on the right hand side or , we mean the underlying object. These colimits exist due to condition (iii). For a given morphism $X\to Y$ in $\F$, we get an induced morphism of the colimits and it is straightforward that this defines a functor. This is actually nothing but the left Kan extension along the functor $\imath^\otimes$ due to (i). What remains to be proven is that this functor is actually a strong symmetric monoidal functor, that is that $f_*(\O):\F'\to \C$ is strong symmetric monoidal. This can be shown by using the hereditary condition (ii). The fact that $f_*$ is itself symmetric monoidal amounts to a direct check as does the fact that $f^*$ and $f_*$ are adjoint functors. The fact that $f^*$ is symmetric monoidal is clear. ### Details on Monadicity A triple aka. monad on a category is the categorification of a unital semigroup. I.e.a triple $\T$ on a category $\C$ is an endofunctor $T:\C\to \C$ together with two natural transformations, $\eta:Id_\C\to T$, where $id_\C$ is the identity functor and a multiplication natural transformation $\mu:T\circ T\to T$, which satisfy the associativity equation $\mu\circ T\mu=\mu\circ \mu T$ as natural transformations $T^{3}\to T$, and the unit equation $\mu\circ T\eta=\mu\circ \eta T=id_T$, where $id_T$ is the identity natural transformation of the functor $T$ to itself. The notation is to be read as follows: $\mu\circ T\mu$ has the components $T(T^2 (X))\stackrel{T(\mu_X)}{\to}T^2X\stackrel{\mu_X}{\to}TX$, where $\mu_X:T^2X\to TX$ is the component of $\mu$. An algebra over such a triple is an object $X$ of $\C$ and a morphism $h:TX\to X$ which satisfies the unital algebra equations. $h\circ Th=h\circ \mu_X:T^2X\to X$ and $id_X=h\circ \eta_X:X\to X$. ### Details on morphisms, push–forward and pull–back A morphisms of Feynman categories $(\V,\F,\imath)$ and $(\V',\F',\imath')$ is a pair of functors $(v,f)$ where $v\in Fun(\V,\V')$ and $f\in Fun_\otimes(\F,\F')$ which commute with the structural maps $\imath,\imath'$ and $\imath^\otimes,\imath^{\prime \otimes}$ in the natural fashion. For simplicity, we assume that this means strict commutation. In general, these should be 2–commuting, see @feynman. Given such a morphisms the functor $f^*:\F'-\opcat_\C\to \F'-\opcat_\C$ is simply given by precomposing $\O\mapsto f\circ \O$. The push–forward is defined to be the left Kan extension $Lan_f\O$. It has a similar formula as . One could also write $f_!$ for this push–forward. Thinking geometrically $f_*$ is more appropriate. We will reserve $f_!$ for the right Kan extension, which need not exist and need not preserve strong symmetric monoidality. However, when it does it provides an extension by 0 and hence a triple of adjoint functors $(f_\ast, f^\ast,f_!)$. This situation is characterized in @Ward17 which also gives a generalization of $f_!$ and its left adjoint in those cases where the right Kan extension does not preserve strong symmetry. Examples -------- ### Tautological example $(\V,\V^{\otimes},\jmath)$. Due to the universal property of the free symmetric monoidal category, we have $\smodcat_\C\simeq\opcat_\C$. <span>Example:</span> If $\V=\underline G$, that is $\V$ only has one object, we recover the motivating example of group theory in the Warm Up. For a functor $\underline f: \underline G\to \underline H$ we have the functor $\underline{f}^{\otimes}$ and the pair $(\underline{f},\underline{f}^{\otimes})$ gives a morphism of Feynman categories. Pull–back becomes restriction and push–forward becomes induction under the equivalence $\smodcat_\C\simeq\opcat_\C$. Given any Feynman category $(\V,\F,\imath)$ there is always the morphism of Feynman categories given by $\imath$ and $\imath^\otimes$: $(\V,\V^{\otimes},\jmath)\to (\V,\F,\imath)$ and the push–forward along it is the free functor $F$. ### Finite sets and surjections: $\F=Surj$, $\V=\trivial$ An instructive example for the hereditary condition (ii) is the following. As above let $Surj$ the category of finite sets and surjection with disjoint union $\amalg$ as monoidal structure and let $\trivial$ the trivial category with one object $*$ and one morphism $id_*$. $\trivial^{\otimes}$ is equivalent to the category $\alephnsym$, where we think $\underline n=\{1,\dots,n\}=\{1\}\amalg\dots \amalg\{1\}$, $1=\imath (*)$. This identification ensures condition (i): indeed $\trivial^{\otimes}\simeq Iso(\Surj)$. Condition (ii) is more interesting. The objects of $(\F\downarrow \V$) are the surjections $S\twoheadrightarrow\imath(*)$. Now consider an arbitrary morphism of $\Surj$ that is a surjection $f:S \twoheadrightarrow T$ and pick an identification $T\simeq \{1,\dots,n\}$, where $n=|T|$. Then we can decompose the morphism $f$ as follows. $$\xymatrix{ S\ar[rr]^{f}\ar[d]^{\simeq}&&T\ar[d]^{\simeq}\\ \amalg_{i=1}^{|T|} f^{-1}(i)\ar[rr]^{\amalg f|_{f^{-1}(i)}}&&\amalg_{i=1}^{|T|} \imath(*) }$$ Notice that both conditions (a) and (b) of §\[detaildefpar\] hold for these diagrams. This is because the fibers of the morphisms are well defined. Condition (iii) is immediate. So indeed $\Surj=(Surj, \trivial, \imath)$ is a Feynman category. $\trivial$-$\smodcat_C$ is just $Obj(\C)$ and $Surj$-$\opcat$ are commutative and associative algebra objects or monoids in $\C$ as discussed in the Warm Up. The commutativity follows from the fact that if $\pi$ is the surjection $\underline 2\to \underline 1$, as above, and $\tau_{12}$ is the permutation of $1$ and $2$ in $\underline{2}=\{1,2\}$, which is also the commutativity constraint, then $\pi\circ \tau_{12}=\pi$ . The functor $G$ forgets the algebra structure and the functor $F$ associates to every object $X$ in $\C$ the symmetric tensor algebra of $X$ in $\C$. In general, the commutativity constraints define what "symmetric tensors" means. The monadicity can be read as in the Warm Up. Being an algebra over $GF$ means that there is one morphism for each symmetric tensor power $A^{\odot n}\to A$, that on elements is given by $a_1\odot \dots \odot a_n\to a_1\dots a_n$. This is equivalent to defining a commutative algebra structure. The length of the morphisms is always non–negative and only isomorphisms have length $0$. ### Similar examples There are more examples in which $\V$ is trivial and $V^{\otimes}\simeq \alephsym$. Let $\F=Inj$ the category of finite sets and injections. This is a Feynman category in which all the morphisms have non–positive length, with the isomorphisms being the only morphisms of length $0$. If we regard $(\F\downarrow \V)$, we see that the injection $i:\emptyset\to \imath(\ast)$ is a non–isomorphism, where $\emptyset=\Eins$ is the monoidal unit with respect to $\amalg$. By basic set theory, any other injection can be written as $id\amalg \dots \amalg id \amalg i \dots \amalg i$ followed by a permutation. This gives the decomposition for axiom (ii). The other two axioms are straightforward. Using both injections and surjections, that is $\F=FinSet$, the category of finite sets and all set maps, we get the Feynman category $\Finset=(\trivial,FinSet,\imath)$. ### Skeletal versions: Biased vs. Unbiased. Notice that the skeletal versions of Feynman categories do give different $\opers$, although the categories $\opcat$ are equivalent. This is sometimes distinguished by calling the skeletal definition biased vs. the general set definition which is called unbiased. This terminology is prevalent in the graph based examples, see §\[graphsubsec\] and §\[zoopar\]. ### FI–modules and crossed simplicial groups, and free monoidal Feynman category We can regard the skeletal versions of the $\F$ above. For $sk(Inj)$ the ordinary functors $Fun(sk(Inj),\C)$ are exactly the FI–modules of @Farb. Similarly, for $\Delta_+S$ the augmented crossed simplicial group, $Fun(\Delta_+S,\C)$ are augmented symmetric simplicial sets in $\C$. In order to pass to symmetric monoidal functors, that is $\opcat$, one can use a free monoidal construction $\F^{\boxtimes}$. This associates to any Feynman category $\F$ a new Feynman category $\F^{\boxtimes}$ for which $\F^{\boxtimes}$-$\opcat_{\C}$ is equivalent to the category of functors (not necessarily monoidal) $Fun(\F,\C)$, see §\[freemsec\]. ### Ordered examples As in the warm up, we can consider $\V=\trivial$, but look at ordered finite sets $\Finset_{ord}$ with morphisms being surjections/injections/all set morphisms. In this case the automorphisms of a set act transitively on all orders. For surjections we obtain not necessarily commutative algebras in $\C$ as $\opers$. Units ----- Adding units corresponds to adding a morphisms $u:\emptyset\to\imath(\ast)$ and the modding out by the unit constraint $\pi\circ id_1 \otimes u=id_1$. An $\oper$ $\O$ will take $u$ to $\eta=\O(u):\Eins\to A=\O(1)$. Graph Examples {#graphsubsec} -------------- ### $\opcat$ There are many examples based on graphs, which are explained in detail in the next section §\[zoopar\]. Here the graphs we are talking about are not objects of $\F$, but are part of the underlying structure of the morphisms, which is why they are called ghost graphs. The maps themselves are morphisms between aggregates (collections) of corollas. Recall that a corolla is a graph with one vertex and no edges, only tails. These morphisms come from an ambient category of graphs and morphisms of graphs. In this way, we obtain several Feynman categories by restricting the morphisms to those morphisms whose underlying graphs satisfy certain (hereditary) conditions. The $\opcat$ will then yield types of operads or operad like objects. As a preview: $\opcat$ Graph, i.e. underlying ghost graphs are of the form ------------------- ----------------------------------------------------- Operads rooted trees Cyclic operads trees Modular operads connected graphs (add genus marking) PROPs directed graphs (and input output marking) NC modular operad graphs (and genus marking) Broadhurst-Connes 1-PI graphs -Kreimer … … Here the last entry is a new class. There are further decorations, which yield the Hopf algebras appearing in @brown, see @deco. ### Non–$\Sigma$ Feynman categories. The augmented simplicial category If we use $\V=\trivial$ as before, we can see that $\F=\Delta_+$ yields a Feynman category. Now the non–symmetric $\V^{\otimes}=\alephnsym$ and the analog of $Surj$ and $Inj$ will then be order–preserving surjections and injections. These are Joyal dual to each other and play a special role in the Hopf algebra considerations. Another non–$\Sigma$ example comes from planar trees where $\V$ are rooted planar corollas and all morphisms preserve the orders given in the plane. The $\fopcatc$ are then non–sigma operads. Notice that a skeleton of $\V$ is given by corollas, whose in flags are labelled $\{1,\dots,n\}$ in their order and these have no automorphisms. ### Dual notions: Co–operads, etc. In order to consider dual structure, such as co–operads, one simply considers $\fopcat_{\C^{op}}$. Of course one can equivalently turn around the variance in the source and obtain the triple: $\FF^{op}=(\V^{op},\F^{op},\imath^{op})$. Now $\V^{op}$ is still a groupoid and $\imath^{\op,\otimes}$ still induces an equivalence, but $\F^{op}$ will satisfy the dual of (ii). At this stage, we thus choose not to consider $\FF^{op}$, but it does play a role in other constructions. Physics connection ------------------ The name Feynman category was chosen with physics in mind. $\V$ are the interaction vertices and the morphisms of $\F$ are Feynman graphs. Usually one decorates these graphs by fields. In this setup, the categories $(\F\downarrow \ast)$ are the channels in the $S$ matrix. The external lines are given by the target of the morphism. The comma/slice category over a given target is then a categorical version of the $S$–matrix. The functors $\O\in \fopcatc$ are then the correlation functions. The constructions of the Hopf algebras agrees with these identifications and leads to further questions about identifications of various techniques in quantum field theory to this setup and vice–versa. What corresponds to algebras and plus construction, functors? Possible answers could be accessible via Rota–Baxter equations and primitive elements @KKreimer. Constructions for Feynman categories ------------------------------------ There are several constructions which will be briefly discussed below. 1. Decoration $\Fdeco$: this allows to define non–Sigma and dihedral versions. It also yields all graph decorations needed for the zoo; see §\[decopar\]. 2. $+$ construction and it quotient $\FF^{hyp}$: This is used for twisted modular operad and twisted versions of any of the previous structures; see §\[enrichedpar\]. 3. The free constructions $\FF^{\boxtimes}$, for which $\FF^{\boxtimes}$-$\opcat_\C=Fun(\F,\C)$, see §\[enrichedpar\]. Used for the simplicial category, crossed simplicial groups and FI–algebras. 4. The non–connected construction $\FF^{nc}$, whose $\F^{nc}$-$\opcat$ are equivalent to lax monoidal functors of $\F$, see §\[enrichedpar\]. 5. The Feynman category of universal operations on $\FF$–$\opcat$ ; see §\[univmasterpar\]. 6. Cobar/bar, Feynman transforms in analogy to algebras and (modular) operads; see §\[univmasterpar\]. 7. W–construction, which gives a topological cofibrant replacement; see §\[modelpar\]. 8. Bi- and Hopf algebras from Feynman categories; see §\[Hopfpar\]. Graph based examples. Operads and all of the Zoo {#zoopar} ================================================ In this section, we consider graph based examples of Feynman categories. These include operads, cyclic operads, modular operads, PROPs, properads, their wheeled and colored versions, operads with multiplication, operads with $A_{\infty}$ multiplications etc., see Table \[zootable\] They all come from a standard example of a Feynman category called $\GG$ via decorations and restrictions @feynman [@deco]. The category $\GG$ is a subcategory of the category of graphs of Borisov-Manin @BM and decoration is a technical term explained in section §\[decosec\]. <span>*Caveat:*</span> Although $\GG$ is obtained from a category whose objects are graphs, the objects of the Feynman category are rather boring graphs; they have no edges or loops. The usual graphs that one is used to in operad theory appear as underlying (or ghost) graphs of morphisms defined in @feynman. These two levels should not be confused and differentiate our treatment from that of @BM. The Borisov-Manin category of graphs. ------------------------------------- We start out with a brief recollection of the category of graphs given in @BM 1. A graph $\G$ is a tuple $(F_\G,V_\G,\del_\G,\imath_\G)$ of flags $F_\G$, vertices $V_\G$, an incidence relation $\del_\G:F\to V$ and an involution $\imath:F_\G^{\circlearrowleft}$, $\imath_\G^2=id$ which exhibits that either two flags, aka. half-edges are glued to an edge in the case of an orbit of order 2, or a flag is an unpaired half–edge, aka. a tail if its orbit is of order one. 2. A graph morphism $\phi:\G\to \G'$ is a triple $(\phi_V,\phi^F,\imath_{\phi})$, where $\phi_V:V_\G\to V_{\G'}$ is a surjection on vertices, $\phi^F:F_{\G'}\to F_\G$ is an injection and $\imath_{\phi}:F_\G\setminus \phi^{F}(F_{\G'})^{\circlearrowleft}$ is a self–pairing ($\imath_\phi^2=id$ and there are no orbits of order $1$). This pairs together flags that "disappeared" from $\F_\G$ to ghost edges. 3. These morphisms have to satisfy obvious compatibilities, see @BM or @feynman. One of these is preservation of incidence $\phi_V\circ \del_\G\circ \phi^F(f')=\del_{\G'}(f')$ and ghost edges are indeed contracted $\phi_V(f)=\phi_V(\imath_\phi(f))$. We will call an edge $\{f,\imath(f)\neq f\}$ with two vertices $(\del(f)\neq \del(\imath(f))$ a simple edge and an edge with one vertex $(\del(f)= \del(\imath(f))$ a simple loop. As objects, the corollas are of special interest. We will write $\ast_S=(S,\{\ast\},\del: S\twoheadrightarrow \{\ast\},id)$ for the corolla with vertex $\ast$ and flags $S$. This also explains our notation for elements of $\V$ in general. An essential new definition @feynman is that of a ghost graph of a morphism. The ghost graph (or underlying graph) of a morphisms $\phi=(\phi_V,\phi^F,\imath_{\phi})$ is the graph $\gh(\phi)=(V_{\G},F_{\G},\hat\imath_{\phi})$, where $\hat \imath_\phi$ is the extension of $\imath_\phi$ to all of $F_\G$ by the identity on $F_\G\setminus \phi^F (F_{\G'})$. Typical examples are isomorphisms —which only change the names of the labels—, forming of new edges, contraction of edges and mergers. The latter are morphisms which identify vertices. These identifications are kept track of by $\phi_V$. Composing the forming of a new edge and then subsequently contracting it, makes the two flags that form the edge "disappear" in the resulting graph. This is what $\imath_\phi$ keeps track of. The "disappeared" flags form a ghost edge and this is the only way that flags may "disappear". The ghost graph says that the morphism factors through a sequence of edge formations and subsequent contractions, namely those edges in the ghost graph, see Figure \[ghostgraphfig\]. As can be seen from these examples: The ghost graph does not determine the morphism. All the information about isomorphisms and almost all information about mergers is forgotten when passing from a morphism to the underlying graph. What the ghost graph does, however, is keep track of are edge/loop contractions and this can be used to restrict morphisms. Further information is provided by the connectivity of the ghost graph, especially when mapping to a corolla. In this case, we see that mergers have non-connected ghost graphs. Likewise, if we know that there are no mergers, then each component of the ghost graph corresponds to a vertex $v\in V_{\G'}$. ### Composition of ghost graphs corresponds to insertion of graphs into vertices The operation of inserting a graph $\gh_v$ into a vertex $v$ of a graph $\gh_1$, is well defined for a given identification of the tails of $\gh_v$ with the flags $F_v$ incident to $v$. The result is the graph $\gh_v\circ_v \gh_1$ whose vertex set is $V=V_{\gh_1}\setminus \{v\}\amalg V_{\gh_v}$, the flags $F=F_{\gh_1} \amalg F_{\gh_v}\setminus tails(\gh_v)$ with $\imath$ given by the disjoint union and $\del$ given by the disjoint union and the identification of $F_v$ with the tails of $\gh_1$. Consider two composable morphisms and their composition: $$\xymatrix{ X \ar@(dr,dl)[rr] _{\phi_0} \ar[r]^{\phi_2}&Y\ar[r]^{\phi_1}&Z\\ \\ }$$ -.5cm Now let $\gh_i$ be the associated graphs of $\phi_i$, $i=0,1,2$. Decomposing, $Y= \amalg_{v\in V_Y} \ast_v$, and decomposing $\phi_2$ as $\amalg_{v\in V}\phi_v$ one can calculate @feynman that $\gh_{0}$ is given by inserting each of the $\gh_v$ into the vertices $v$ of $\gh_{\phi_1}=V$, which we write as $\amalg_v \gh_v\circ \gh_1$. $$\gh(\phi_0)=\gh(\phi_2)\circ \gh(\phi_1)$$ where the identification for the composition is given by $\phi_2^F$. ### Symmetric monoidal structure The category of graphs has a symmetric monoidal structure given by disjoint union. The unit is the empty graph $(\emptyset,\emptyset,id_\emptyset,id_\emptyset)$ where $id_\emptyset:\emptyset\to \emptyset$ is the unique morphism from the empty set to itself. The Feynman category $\GG=(\Crl,\Agg,\imath)$ --------------------------------------------- Let $\Crl$ be the subgroupoid of corollas with isomorphisms and $\Agg$. $\Agg$ the full subcategory whose objects are aggregates of corollas. An aggregate of corollas is a graph without any edges $\imath_\G=id$. Any aggregate of corollas is a (possibly empty( disjoint union of corollas and vice–versa. Including corollas into the aggregates as one vertex aggregates gives an inclusion $\imath:\Crl\to\Agg$. $\GG=(\Crl,\Agg,\imath)$ is a Feynman category. In this example the one–comma generators $(\F\downarrow \V)$ are morphisms from an aggregate to a simple corolla $*_v$ Looking at the definition of morphisms it follows that $\Crl^\otimes\simeq Iso(\Agg)$. Condition (iii) is clear. For condition (ii) let $\phi:\G\to \G'$. We will write any such morphism this as a disjoint union of one–comma generators. For $v\in V_{\G'}$ define $\G_v$ to be the restriction of $\G$ to the vertices mapping to $v$. That is $\G_v=(V_{\G,v}=\phi_V^{-1}(v),F_{\G,v}= \del_\G^{-1}(V_{\G,v}),\del_{\G,v}=id)$. We let $\phi_v:\G_v\to v_{F_v}$ be the restriction of $\phi$, where $v_{F_v}$ is the corolla with vertex $v$ and its incident flags $F_v=\del_{\G'}^{-1}(v)$. $\G=(\phi_V|_{V_{\G,v}},\phi^F|_{F_v},\imath_\phi|_{F_{\G,v}\setminus (\phi^F)^{-1}(F_v)})$. It then follows that $\G=\amalg_{v\in V_\G'} \G_v,\G'=\amalg_{v\in V_{\G'}} v_{F_v}$ and $\phi=\amalg_{v\in V_{\G'}}\phi_v$. This yields the decomposition. It is easy to check conditions (a) and (b). Notice that forming an edge or a loop is not a morphism in $\Agg$. However the composition of the two morphisms, forming an edge or a loop <span>*and the subsequently contracting it*</span> is a morphism in $\Agg$, see Figure \[ghostgraphfig\]. One could call this a virtual or ghost edge contractions. For simplicity we will call these simply edge or loop contractions. ![A composition of morphisms and the respective ghost graphs. The first morphism glues two flags to an edge, the second contracts an edge. The result is a morphism in $\Agg$.<span data-label="ghostgraphfig"></span>](rcomp6.pdf){width=".7\textwidth"} ### Morphisms in $\Agg$ 1. <span>*Simple edge contraction.*</span> $\phi^F$ is the identity and the complement of the image $\phi^F$ is given by two flags $s,t$, which form a unique ghost edge. The two flags are not adjacent to the same vertex and these two vertices are identified by $\phi_V$. The ghost graph is obtained from the source aggregate by adding the edge $\{s,t\}$. We will denote this by $\scirct$. 2. <span>*Simple loop contraction.*</span> As above, but the two flags of the ghost edge are adjacent to the same vertex. That is both $\phi_V$ and $\phi^F$ are identities. This is called a simple loop contraction. We will denote this by $\circ_{st}$. 3. <span>*Simple merger.*</span> This is a merger in which $\phi_V$ only identifies two vertices $v$ and $w$. $\phi^F$ is an isomorphism. Its degree is $0$ and the weight is $1$. The ghost graph is simply the source graph. We will denote this by ${\, {{\vphantom{\boxminus}}_{v}{\boxminus}}_{w}}$. 4. <span>*Isomorphism*</span>. This is a relabelling preserving the incidence conditions. Here $\phi_V$ and $\phi_F$ are bijections. The ghost graph is the original graph. Typical examples of such morphisms are shown in Figure \[generatorfig\]. ![The three basic morphisms in $\GG$: an edge contraction (top), a loop contraction (left), and a merger (right). In the morphism, we give the ghost graph and label it by the standard notation. The shaded region is for illustration only, to indicate the merger.<span data-label="generatorfig"></span>](basicmorphisms) Actually any morphism is a composition of such morphisms @feynman. The relations between these types of morphisms are spelled out below. In order to make things canonical, we will call a morphism pure $\phi:\G\to \G'$, if $\phi^F=id$ when restricted to its image, and the vertices of $\G'$ are the fibers of $\phi_V$, that is $\phi_V(v)=\{w\in V_{\G}|\phi_V(w)=\phi_V(v)\}$. With this terminology any morphism decomposes as $$\label{bmdecompeq} \phi=\sigma\circ\phi_m\circ \phi_c$$ were $\phi_c$ is a pure contraction, $\phi_m$ is a pure merger, and $\sigma$ is an isomorphism. ### Ghost graphs for $\Agg$ In the case of morphism in $\Agg$, we can say more about the morphisms that have a fixed underlying ghost graph. First, the source of a morphism $\phi$ has the
{'source': 'arXiv_out/1702'}