Semigroupoid

In mathematics, a semigroupoid is a partial algebra which satisfies the axioms for a small 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, and have applications in the structural theory of semigroups. Formally, a semigroupoid consists of:
  • a set of things called objects.
  • for every two objects A and B a set Mor(A,B) of things called morphisms from A to B. If f is in Mor(A,B), we write f : AB.
  • for every three objects A, B and C a binary operation Mor(A,B) × Mor(B,C) → Mor(A,C) called composition of morphisms. The composition of f : AB and g : BC is written as g o f or gf. (Some authors write it as fg.)
such that the following axiom holds:
  • (associativity) if f : AB, g : BC and h : CD then h o (g o f) = (h o g) o f.

 

<< PreviousWord BrowserNext >>
st. mel's
ballymahon
curonian lagoon
therapeutic touch
christof perick
zmacs
fxt
coenocyte
military sealift command
curonian spit
xmlambda
isdn user part
jzef haller de hallenburg
southeastern five lined skink
city of london school
herne hill railway station
list of military sealift command ships
thomas j. king
utf 2000
scottish monarchs' family tree
peckham rye railway station
dar robinson
rauschenberg
xml script
list of radio programs
queens road peckham railway station
visayan sea
rauschenberg, hesse
lucille wheeler
david stewart, duke of rothesay
benjamin godard
samar (island)
anti german
cornelius gurlitt
ravenel
san juanico strait
flemish parliament
a world transformed
marie hall
walloon parliament
san bernardino strait, philippines
guy d'hardelot
alexander stewart, 1st earl of buchan
brussels parliament