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. Because of “symmetric”, for each n, the symmetric group on n letters is given as a subgroup of the automorphism group of n.
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. Because of “symmetric”, for each n, the symmetric group on n letters is given as a subgroup of the automorphism group of n.
Source: Wikipedia "PROP (category theory)" · CC BY-SA 4.0
Share this article: X · Bluesky