Hacerlo es cuestión de destreza: por ejemplo, tome un anillo dado "R", y haga una categoría "C" cuyos objetos sean homomorfismos de anillo "R" → "S", con "S" un anillo que tiene una identidad multiplicativa.