Post #2162175

Honestly all the stuff about (normal) subgroups and ideals is a lot more palatable now that I am familiar with displayed category theory and see the displayed universal properties there. E.g. the universal property of a quotient by a normal subgroup/ideal is nicely expressed in those terms