groupoid

noun2

1. •
   A set with a partial binary operation that is associative and has identities and inverses.

   • [...] A category in which every morphism is an isomorphism is called a groupoid. This means that a group is a groupoid with only one object. [...] — 2013
2. •
   A magma: a set with a total binary operation.