nLab
identity anafunctor

The identity anafunctor on a category CC is the anafunctor id C:CCid_C: C \to C that, as a span of functors, looks like Cid CCid CCC \stackrel{id_C}\leftarrow C \stackrel{id_C}\rightarrow C, where now id Cid_C is the identity functor on CC. Of course, this is the same as the identity functor on CC interpreted as an anafunctor.

The identity anafunctors are the identities for composition of anafunctors in Cat.

Revised on May 8, 2009 03:33:58 by Toby Bartels (71.104.234.95)