ClosedSymmetricMonoidalCategory
libretto.lambda.ClosedSymmetricMonoidalCategory
trait ClosedSymmetricMonoidalCategory[-⚬[_, _], |*|[_, _], One, =⚬[_, _]] extends ClosedSymmetricSemigroupalCategory[-⚬, |*|, =⚬] with SymmetricMonoidalCategory[-⚬, |*|, One]
Attributes
- Graph
- Supertypes