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.


A PROP is a 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.

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


Revised on August 6, 2014 03:08:17 by Toby Bartels (