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