The synthetic derived functors of a functor
derived functors of non-additive functors
cohomological sequence for synthetic derived functors
scientific article; zbMATH DE number 3840201