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