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