** The forgetful functor Vect → Set on the category of real vector spaces is represented by (R, 1).
** Забыаающий функтор Vect → Set из категории действительных векторных пространств представим (R, 1).