Assertion: group scheme | /r/HasProperty | a group object
Facets:
value: in a category of schemes
type: OTHER
Source sentences:
text: A group scheme is a group object in a category of schemes that has fiber products and some final object S.