category_theory.limits.cone_morphism source