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