Skip to main content
Post Made Community Wiki by Stefan Kohl
Source Link
Todd Trimble
  • 53.3k
  • 6
  • 205
  • 322

If $X$ is a large set and $\mathsf{Set}$ is the category of small sets, then $\mathsf{Set}/X$ is small-cocomplete, but it fails to have a terminal object. Now dualize this.