Commit 2026-10-02 13:31 41d19bc7
View on Github →feat(Algebra/Homology): more API for Ext in linear categories (#44190)
If C is a R-linear category, we define the $$Ext^n$$ bifunctor Cᵒᵖ ⥤ C ⥤ ModuleCat R and provide suitable API in order to relate the scalar multiplication on Ext-groups and the constructors involving a projective resolution or an injective resolution.