• Dom
  • group object

group object

analogue of the definition of a group inside an arbitrary category

en-GB/ˈɡɹuːp ˈɒbd͡ʒɪkt/
en-US/ˈɡɹup ɑbˈd͡ʒɪktv/

Kategorie:

monoid objectinternal category