The identity anafunctor on a category is the anafunctor that, as a span of functors, looks like , where now is the identity functor on . Of course, this is the same as the identity functor on 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