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

Estimated changes