Группоид:

  • Группоид, или магма, — множество с бинарной операцией.
  • Группоид — категория, в которой все морфизмы являются изоморфизмами.
Примечания