Assertion: group's structure | /r/HasAspect | transformation
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.