category_theory.limits.is_terminal source