# Category without identities?

Just as a monoid is a category with a single object, a semigroup may be seen as a non-unital category, still with associative composition. Then an $S$-set for $S$ a semi-group can be seen as a functor from the category corresponding to $S$ into the category of sets.

One of the nice things about the functor category of $M$-sets for $M$ a fixed monoid is that it's a topos, so in particular extensive i.e admitting a nice notion of connectedness. In this context an $M$-set $X$ is connected iff $\forall x,y\in X \exists s,t\in M$ such that $sx=y$ or $ty=x$. I think this topos is also locally connected (there's a functorial assignment of connected components, left adjoint to discrete stuff) since we can just "take" these connected components for any monoid.

I was wondering whether not having units gets in the way of repeating the same terms with meaning for semigroups?

More generally, which portions of category theory still hold without identities? The most crucial thing that fails, I think, is Yoneda.

• For an M-set being connected is much weaker. It means the equivalence relation generated by x relates to mx has a single class. – Benjamin Steinberg Dec 8 '16 at 13:15
• S-sets for a semigroup S is the same as M-sets for the monoid obtained by adjoining an identity but notice this changes your topos if S is already a monoid. If S has enough idempotents like having local units there – Benjamin Steinberg Dec 8 '16 at 13:19
• Is a good theory. – Benjamin Steinberg Dec 8 '16 at 13:19
• Ignoring units yields the theory of Semigroupoids and a lot of work has been done on them, for example by Wolfram Kahl. – Musa Al-hassy Dec 8 '16 at 19:10
• Arrow, one of the nLab regulars named Thomas Holder asked me to comment that the following reference may be quite useful for you, on the question of categories without units: Moens, Berni-Canani, Borceux: On regular presheaves and regular semi-categories , Cah.Top.Diff.Géom.Diff.Cat. XLIII-3 (2002) pp.163-190. ( numdam.org/item?id=CTGDC_2002__43_3_163_0 ) – Todd Trimble Dec 9 '16 at 1:16