category_theory.functor.const source