Def CategoryTheory.abelianOfAdjunction

Modification history

2024-12-16 16:45
Mathlib/CategoryTheory/Abelian/Transfer.lean
feat(CategoryTheory/Abelian/GrothendieckAxioms): introduce Grothendieck categories (#18510) …
Modified CategoryTheory.abelianOfAdjunctionView on Github →
2023-04-29 13:32
Mathlib/CategoryTheory/Abelian/Transfer.lean
feat: port CategoryTheory.Abelian.Transfer (#3424)
Added CategoryTheory.abelianOfAdjunctionView on Github →