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 a statement of the corollary that the category of groupoids is equivalent to the category of effective epimorphisms, since I didn’t notice a statement elsewhere.
Maybe it would be better to put something stating that on the effective epimorphism page, since there isn’t an “effective groupoid” page?
Thanks. I have rephrased a little in order to display the actual equivalence of -categories. Also added pointer to where in HTT this is discussed.
Regarding your question: Not sure if I am reading it right but it sounds like you are asking if it would be good to further improve related entries. The answer to that is Yes, always.
1 to 5 of 5