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