Commit 2024-11-30 00:03 8a86c2c4
View on Github →feat(Algebra/Homology/Embedding): the canonical truncation functor trunGEFunctor (#19543)
Given an embedding e : Embedding c c' of complex shapes which satisfy e.IsTruncGE, we construct the canonical truncation functor e.truncGEFunctor C : HomologicalComplex C c' ⥤ HomologicalComplex C c'.