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. Identities in abstract categories, on the other hand, are defined by the way they behave respective to the composition of morphisms.
Categories are a bit like sets, in that they have “elements”, or rather two kinds of such: objects and morphisms. Inspired by this, we can define identity functors in a category as the functor
from itself to itself that maps each object to itself and each morphism to itself. Such a functor always exists, and, since its effect is completely specified, it is unique.
But since we also have composition of functors, we can also try to define the identity functor on category as a functor, if it exists,
from
to
such that for any category
, for any functor
from
to
,
and for any functor
from
to
,
.
It is immediate that the functor from the first definition satisfies the second. Since the former always exists, so does the latter. Furthermore, if there were two identity functors following the second definition,
and
, we would have both
and
, hence
.
Thus the two definitions are equivalent; one and only one identity functor exists for each category.
Isofunctors and equivalent categories
The same exercise asks us to define the notion of equivalent categories.
We may first want to define an isofunctor between two categories:
A functor
from category
to category
is an isofunctor if and only if there exists a functor
from
to
such that
is the identity functor on
and
is the identity functor on
.
We can then, of course, define equivalent categories as categories between which there exists at least one isofunctor.
Free objects following an isofunctor
If and
are equivalent categories and
is an isofunctor from
to
with
its inverse isofunctor from
to
, then we have:
If
is an object of
and
, then
(with
the identity morphism on
) is a free
object on
following the functor
.
The proof is easy. If is any object of
and
a
-morphism
, then for a
-morphism
to be such that
, necessarily
, that is (applying
to each side)
. We can check that this
indeed satisfies
. Hence there is one and only one
-morphism
such that
. This being the case for any object
of
and any
-morphism
, the pair
is a free
object on
following
.
The “free object functor” in this case thus simply maps objects of to the same as
does. It is easy to check that the effect of this free object functor on morphisms of
is too just the same as that of
. Thus, the free object functor in the case of equivalent categories following an isomorphism between them is just the inverse of that isomorphism.