Semigroupoid

In mathematics, a semigroupoid (also called semicategory or precategory) is a partial algebra that satisfies the axioms for a small[1][2][3] category, except possibly for the requirement that there be an identity at each object. Semigroupoids generalise semigroups in the same way that small categories generalise monoids and groupoids generalise groups. Semigroupoids have applications in the structural theory of semigroups.

Formally, a semigroupoid consists of:

such that the following axiom holds:

References

  1. Tilson, Bret (1987). "Categories as algebra: an essential ingredient in the theory of monoids". J. Pure Appl. Algebra 48 (1-2): 83–198. doi:10.1016/0022-4049(87)90108-3., Appendix B
  2. Rhodes, John; Steinberg, Ben (2009), The q-Theory of Finite Semigroups, Springer, p. 26, ISBN 9780387097817
  3. See e.g. Gomes, Gracinda M. S. (2002), Semigroups, Algorithms, Automata and Languages, World Scientific, p. 41, ISBN 9789812776884, which requires the objects of a semigroupoid to form a set.


This article is issued from Wikipedia - version of the Tuesday, June 30, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.