Commit 2024-11-30 00:03 e1064d2a
View on Github →feat(Algebra/Homology): more duality results (#19559)
Given an homological complex K
, we introduce duality isomorphisms like cyclesOpIso : K.op.cycles i ≅ op (K.opcycles i)
and study their naturality.