caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Category
/
Functor
Copy path to clipboard
Exported files:
category
inducedFunctor
liftedDuoidal
liftedMonoidal
liftedRig
monoidal
package.dhall
types.dhall
