Skip to main content
edited body
Source Link
Qiaochu Yuan
  • 118.2k
  • 40
  • 447
  • 741

Many forgetful functors in an algebraic setting are representable; for example, the forgetful functor $\text{Ab} \to \text{Grp}$$\text{Ab} \to \text{Set}$ is represented by $(\mathbb{Z}, 1)$. Functors with left adjoints are also representable, and sometimes the converse holds.

Many forgetful functors in an algebraic setting are representable; for example, the forgetful functor $\text{Ab} \to \text{Grp}$ is represented by $(\mathbb{Z}, 1)$. Functors with left adjoints are also representable, and sometimes the converse holds.

Many forgetful functors in an algebraic setting are representable; for example, the forgetful functor $\text{Ab} \to \text{Set}$ is represented by $(\mathbb{Z}, 1)$. Functors with left adjoints are also representable, and sometimes the converse holds.

Source Link
Qiaochu Yuan
  • 118.2k
  • 40
  • 447
  • 741

Many forgetful functors in an algebraic setting are representable; for example, the forgetful functor $\text{Ab} \to \text{Grp}$ is represented by $(\mathbb{Z}, 1)$. Functors with left adjoints are also representable, and sometimes the converse holds.