Assertion: f algebra | /r/HasProperty | category
Facets:
Source sentences:
text: Equipped with these morphisms, F-algebras constitute a category.