note about occnames
laziness tweaks
more about abstract algebra than category theory