Item:Q1442: Difference between revisions

Created a new Item: group object, analogue of the definition of a group inside an arbitrary category
 
Property / subclass of
 
Property / subclass of: monoid object / rank
 
Normal rank