/caterwaul/Category/Closed/Kind
Copy path to clipboardA category enriched over itself.
Source
{-|
A category enriched over itself.
-}
λ(cat : ../Semigroupal/Sort) → λ(object : Kind) → ../Kind cat object object
caterwaul
Switch Light/Dark ModeA category enriched over itself.
{-|
A category enriched over itself.
-}
λ(cat : ../Semigroupal/Sort) → λ(object : Kind) → ../Kind cat object object