Mario Román

Search

Search IconIcon to open search

Monoid theorist

Last updated Oct 7, 2024

Category theorists are mostly conceptual mathematicians that use category theory as their main tool of choice; it is uncommon to see category theorists that are interested in categories the same way that a group theorist is interested in a group.

If this is what we want to transmit, the name “category theorist” may not be the best: we work with categories, true, but we also work with bicategories, premonoidal categories or profunctors. If we want to say that these are all concepts derived from a more primitive one, that one is possibly “monoid”, more than “category”.

Monoids are the simpler algebra of composition, category theorists study composition; we should probably be calling them “monoid theorists”. Why would anyone say they study “bicategory theory”?