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.
guest
- 1
- 1
- 1