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.
I added some content in protomodular category. It’s mostly drawn from Bourn’s papers. It will need brushing up, cross-linking, etc.
There are many further related concepts. Don’t know how important they are, e.g., Bourn says
The dual of a topos is arithmetical.
Is that a standard concept? And ’affine categories’?
The page now links to normal monomorphism, but that specifies pointedness, when Bourn talks about normal morphisms in non-pointed protomodular categories.
1 to 4 of 4