group object

analogue of the definition of a group inside an arbitrary category