Title: Semigroups, Categories, and Partial Algebras