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.
1 to 5 of 5
Started presentation of a category by generators and relations. This is probably an evil definition (there was an old discussion on this in the context of quotient category), and there is perhaps a more modern way to do this, so feel free to change the entry. I used “quotient category” as in CWM and mentioned that this is not the definition in the nLab.
By the way, I recently repeatedly came to think that we should have a general entry titled generators and relations which explains the idea first in full generality (e.g. free construction followed by quotient) and then lists examples.
Because I noticed that we have many entries whose definitions invoke “generators and relations” and strictly speaking they should all point to an explanation for what precisely that means.
@Yaron: thanks! I added some links from a few places.
@Urs: That’s an excellent idea! I made a start: generators and relations.
I have added a brief reference to the links with computads and 2-polygraphs, and also to Mitchell’s paper on Rings with several objects which has a neat section on this.
I added a bit to generators and relations, including mention of finitely presented objects (and a link back from there).
1 to 5 of 5