caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Comonoid
/
Kind
Copy path to clipboard
Source
λ(
cat
:
../Category/Monoidal/Sort
) →
../Monoid/Kind
(
../Category/Op/semigroupalSort
cat
)
