David Corfield Set

Features of the category SetSet distinguishing it from Set opSet^{op}:

  • Cartesian closed
  • Locally presentable

Created on April 30, 2009 at 09:57:20. See the history of this page for a list of all contributions to it.