/caterwaul/Rig/Monus/Kind
Copy path to clipboardSource
λ(cat : ../../Category/Monoidal/Sort) →
λ(m : Kind) →
{ additive : ../../Monoid/Commutative/Monus/Kind cat m
, multiplicative : ../../Monoid/Kind cat m
}
caterwaul
Switch Light/Dark Modeλ(cat : ../../Category/Monoidal/Sort) →
λ(m : Kind) →
{ additive : ../../Monoid/Commutative/Monus/Kind cat m
, multiplicative : ../../Monoid/Kind cat m
}