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'
.