InversiveSemigroupalCategory
libretto.lambda.InversiveSemigroupalCategory
trait InversiveSemigroupalCategory[->[_, _], |*|[_, _], -[_]] extends ClosedSymmetricSemigroupalCategory[->, |*|, [x, y] =>> -[x] |*| y]
Attributes
- Graph
- Supertypes
- Known subtypes