Skip to main content
Post Made Community Wiki by Ben Webster
Source Link
Jeremy Rickard
  • 35.2k
  • 2
  • 110
  • 151

For a simpler, but arguably more artificial, example than Mark's, take $\mathcal{C}$ to be the category with one object and two morphisms. Then the identity functor $\mathcal{C}\to\mathcal{C}$ is "unnaturally isomorphic" to the functor that sends both morphisms to the identity map.