category_theory.limits.colimit_limit_to_limit_colimit_is_iso source