Commit 2022-04-10 09:05 ef51d232
View on Github →feat(category_theory/shift): restricting shift functors to a subcategory (#13265)
Given a family of endomorphisms of C which are interwined by a fully faithful F : C ⥤ D
with shift functors on D, we can promote that family to shift functors on C.
For LTE.