Skip to main content
Source Link
guest
  • 1
  • 1
  • 1

It seems that the functor on the category infinite sets that adds one disjoint point * to any set is not naturally isomorphic to the identity functor.

Post Made Community Wiki by guest