Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.is_left_adjoint_of_preserves_colimits

Modification history

2020-12-02 19:13

src/category_theory/limits/presheaf.lean

feat(category_theory/limits): left adjoint if preserves colimits (#4942) …

Modified category_theory.is_left_adjoint_of_preserves_colimits View on Github →

2020-11-05 17:06

src/category_theory/limits/presheaf.lean

feat(category_theory/limits/presheaf): left adjoint if preserves colimits (#4896)

Added category_theory.is_left_adjoint_of_preserves_colimits View on Github →