Def CategoryTheory.leftExactFunctor

Modification history

2026-10-30 15:08

Mathlib/CategoryTheory/Limits/ExactFunctor.lean

chore(CategoryTheory): deprecate `leftExactFunctor` (#45418) …

Deleted CategoryTheory.leftExactFunctor View on Github →

2025-12-18 13:14

Mathlib/CategoryTheory/Limits/ExactFunctor.lean

refactor(CategoryTheory): make morphisms in full subcategories a 1-field structure (#26446) …

Added CategoryTheory.leftExactFunctor View on Github →