verbiage tweaks
missing functoriality
distributive categories
rename store
Cosemimonoidal1, Comonoidal1