A ‘PROP’ — an abbreviation of ‘products and permutations category’ — is a symmetric monoidal category generated by a single object, used to describe a given sort of algebraic structure. One can think of PROPs as a variant of Lawvere theories suitable for noncartesian contexts. In this respect they are similar to operads. However, they are more general, because they can be used to describe operations with many outputs as well as many inputs. They also generalize properads and dioperads?.



A PROP is a strict symmetric monoidal category where every object is of the form

x n=xxxx^{\otimes n} = x \otimes x \otimes \cdots \otimes x

for a single object xx and n0n \ge 0.

There is also a notion of colored PROP akin to colored operads. One way to define a colored PROP is as a certain kind of symmetric monoidal category (see Remark 2.2.14 of Yau):


A colored PROP with set of colors \mathfrak{C} is a strict stymmetric monoidal category (P,)(P,\odot) whose monoid of objects is freely generated by \mathfrak{C}.


A morphism of PROPs ϕ:QT\phi:Q\to T is just a strict symmetric monoidal functor that takes the generators for the objects of QQ to the generators of the objects of TT. Equivalently, a morphism of PROPs is a pair of functions: one from the colors of QQ to the colors of TT, ϕ c:Col(Q)Col(T)\phi_c\colon Col(Q)\to Col(T), and for each pair of finite list of colors x={x 1,,x n}\vec{x}=\{x_1,\ldots,x_n\} and y={y 1,,y m}\vec{y}=\{y_1,\ldots,y_m\} in Col(Q)Col(Q), a function ϕ m:Q(x,y)T(ϕ c(x),ϕ c(y))\phi_m\colon Q(\vec{x},\vec{y})\to T(\phi_c(\vec{x}),\phi_c(\vec{y})). The two functions ϕ c\phi_c and ϕ m\phi_m are of course required to preserve compositions, units and symmetries.

Thus there is a category of PROPs. For more on this category, as well as some its properties, see HR1.


Given a PROP TT and a symmetric monoidal category CC, a symmetric monoidal functor

F:TCF : T \to C

is called an algebra or model of TT in CC. The category of algebras of TT in CC, say Alg(T,C)Alg(T,C), has

Note that all of the above definitions can be enriched over a symmetric monoidal category which yields the notion of enriched PROPs. For instance, we can have simplicial and topological PROPs where the sets of morphisms are simplicial sets or topological spaces.

Model Structure on Simplicial PROPs

First, in the case that we are working only with simplicial PROPs with a fixed set of colors (or, in other words, PROPs whose free monoids of objects all have the same generators), we have the following theorem of HR2:


There is a cofibrantly generated model structure on the category of simplicial PROPs with a fixed set of colors in which a morphism of simplicial PROPs ϕ:QT\phi:Q\to T is a weak equivalence (resp. fibration) if for each simplicial set of morphisms the induced map Q(x,y)T(x,y)Q(\vec{x},\vec{y})\to T(\vec{x},\vec{y}) is also a weak equivalence (resp. fibration).

Recall now that simplicial PROPs admit an obvious forgetful functor to categories that factors through simplicial categories. Denote this functor by π 0:sPROPCat\pi_0\colon sPROP\to Cat. Using this notation, we have (again from HR2):


There is a cofibrantly generated model structure on the category of all simplicial PROPs where a morphism of PROPs ϕ:QT\phi\colon Q\to T is a weak equivalence (resp. fibration) if:

  • the induced morphism of mapping complexes ϕ m:Q(x,y)T(ϕ c(x),ϕ c(y))\phi_m\colon Q(\vec{x},\vec{y})\to T(\phi_c(\vec{x}),\phi_c(\vec{y})) is a weak equivalence (resp. Kan fibration) of simplicial sets, and

  • the functor π 0:π 0Qπ 0T\pi_0\colon\pi_0Q\to \pi_0T is a weak equivalence (resp. isofibration) of categories.

Note that the model structure on simplicial PROPs is not the model structure on gets by lifting the model structure of simplicial operads along the free forgetful adjunction between simplicial operads and simplicial PROPs.



A perhaps paradigmatic example is that there is a VectVect-enriched prop whose algebras are bialgebras. It should be observed here that there is no VectVect-enriched operad (or cooperad) whose algebras are bialgebras, so this is a genuine example that illustrates a gain in generality of props over operads.

See Pirashvili for some more details on this prop.

Endomorphism PROP

Given a set of colors \mathfrak{C} and a closed symmetric monoidal category EE with a chosen collection of objects X={X c} c\mathbf{X}=\{X_c\}_{c\in\mathfrak{C}}, there is an EE-enriched PROP End XEnd_{\mathbf{X}} with morphism EE-mapping spaces End X({X i},{Y j})=E( iX i, jY j)End_{\mathbf{X}}(\{X_i\},\{Y_j\})=E(\otimes_i X_i,\otimes_j Y_j).


Every PROP defines a polycategory; see there for more. Note that PROPs are strictly more general than polycategories since in a PROP we can compose along many objects at once. This restriction actually makes polycategories more like dioperads? than PROPs (cf. Gan).


Revised on July 30, 2016 06:33:34 by John Baez (