Commit 2025-07-03 11:52 af84080c
View on Github →feat(CategoryTheory/Localization): generalize results about adjunctions (#26365) In this PR, results about adjunctions, localization of categories and calculus of fractions are slightly generalized. In particular, we show that under certain circumstances, adjoint functors are localization functors. (This shall be used in the proof of the fundamental lemma of homotopical algebra #26303.)