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/

زمرے:

monoid objectinternal category