Assertion: group | /r/HasProperty | object
Facets:
Source sentences:
text: In the language of category theory, they are group objects in a category, meaning that they are objects (that is, examples of another mathematical structure) which come with transformations (called morphisms) that mimic the group axioms.