In category theory, a branch of mathematics, a PROP is a symmetric strict monoidal category whose objects are the natural numbers n identified with the finite sets { 0, 1, …, n − 1 } {\displaystyle \{0,1,\ldots,n-1\}} and whose tensor product is given on objects by the addition on numbers.