Identity functors, isofunctors and equivalent categories
Exercise 105 (Chapter 17, “Functors”): Define the identity functor from a category to that same category. What do you suppose is meant by equivalent categories? Identity functors We have encountered two flavors of identity definitions. Identity mappings on sets are defined by the way they act on set elements, namely that they don’t change them….