category theory

# Contents

## Idea

The identity functor on a category $C$ is the functor $id_C: C \to C$ that maps each object and morphism of $C$ to itself. The identity functors are the identities for composition of functors in Cat.

Last revised on July 2, 2017 at 09:24:14. See the history of this page for a list of all contributions to it.