SymmetricMonoidalCategory
libretto.lambda.SymmetricMonoidalCategory
trait SymmetricMonoidalCategory[->[_, _], |*|[_, _], One] extends SymmetricSemigroupalCategory[->, |*|] with MonoidalCategory[->, |*|, One]
Attributes
- Graph
- Supertypes
- Known subtypes