SymmetricSemigroupalCategory

Attributes

Supertypes

trait SymmetricSemigroupalCategory[[a, b] =>> G[a -> b], |*|]

trait SemigroupalCategory[[a, b] =>> G[a -> b], |*|]

trait Category[[a, b] =>> G[a -> b]]

trait Semigroupoid[[a, b] =>> G[a -> b]]

class Object

trait Matchable

class Any

Show all