David Corfield
Set

Features of the category Set distinguishing it from Set op:

  • Cartesian closed
  • Locally presentable