text: Например: свободный модуль: забывающий функтор из M o d ( R ) {\displaystyle \mathbf {Mod} (R)} (категории R {\displaystyle R} -модулей) в S e t {\displaystyle \mathbf {Set} } имеет левый сопряжённый Free R {\displaystyle \operatorname {Free} _{R}} , соответствующий отображению X ↦ Free R ⁡ ( X ) {\displaystyle X\mapsto \operatorname {Free} _{R}(X)} , множества X {\displaystyle X} в свободный R {\displaystyle R} -модуль с базисом X {\displaystyle X} ; свободная группа; тензорная алгебра.