caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Yoneda
/
lower
Copy path to clipboard
Source
../Ran/lower
(
../Identity/Type
Type)
../Identity/functor/monoidal
