Commit 2026-09-01 16:05 3d6d5171
View on Github →feat(Algebra/Homology): pseudofunctorial behaviour of Functor.mapDerivedCategory (#43089)
In this PR, we do not construct a pseudofunctor from the bicategory of abelian categories and exact functors to the bicategory of triangulated categories which sends an abelian category to its derived category: we show part of the corresponding compatibilites (those that are required for #43086).