Search
❯
21 May 20261 min read
Given a category C, the identity functor is just the functor that preserves objects and morphisms.