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.
Did some cleaning up and adding to regular category and coherent category, and asked a terminological question at the latter.
In response to the terminological question, I've made the definition of ‘geometric category’ at coherent category consistent with that at geometric category, with a brief note on the controversy.
1 to 2 of 2