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