Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Thanks.
By the way, we need to cross-link these “ring groupoids” also with rig categories
Oh, I see you did link back to “ring groupoid” from “rig category”. But let’s also say at “ring groupoid” that this is in particular a “rig category which happens to be a groupoid”, if that fits your plans.
1 to 3 of 3