Assertion: scheme | /r/CapableOf | form category
Facets:
value: with morphisms
type: OTHER
Source sentences:
text: Schemes form a category, with morphisms defined as morphisms of locally ringed spaces.