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.

Last revised on May 8, 2009 at 03:33:58. See the history of this page for a list of all contributions to it.