caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Category
/
Monoidal
/
Closed
/
Kind
Copy path to clipboard
Source
λ(
cat
:
../Sort
) → λ(
object
: Kind) →
../Kind
cat
object
object
