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