\begin{definition}[Definition:Category of Rings with Unity]
The '''category of rings with unity''' is the category with:
{{DefineCategory
| ob = rings with unity
| mor = unital ring homomorphisms
|id = identity mappings
|comp = composition of mappings
}}
\end{definition}