Assertion: r algebra | /r/HasProperty | → a
Facets:
Source sentences:
text: In the commutative case, one can consider the category whose objects are ring homomorphisms R → A; i.e., commutative R-algebras and whose morphisms are ring homomorphisms A → A' that are under R;