Category

Attributes

Graph

Reset zoomHide graphShow graph

Supertypes

trait Semigroupoid[->]

class Object

trait Matchable

class Any

Known subtypes

trait SemigroupalCategory[->, |*|]

trait ClosedSemigroupalCategory[->, |*|, -->]

trait ClosedSymmetricSemigroupalCategory[->, |*|, -->]

trait ClosedSymmetricMonoidalCategory[-⚬, |*|, One, =⚬]

trait InversiveSemigroupalCategory[->, |*|, -]

trait InversiveMonoidalCategory[->, |*|, One, -]

trait CocartesianSemigroupalCategory[->, <+>]

trait MonoidalCategory[->, |*|, One]

trait SymmetricMonoidalCategory[->, |*|, One]

trait SymmetricSemigroupalCategory[->, |*|]

object given_SymmetricSemigroupalCategory_Shuffled_**

trait Hoisted[G, ->, |*|]

Show all