Commit 2024-11-30 00:03 21608d1f
View on Github →feat(Algebra/Homology/Embedding): dualise extend (#19560)
When e is an embedding of complex shapes, we obtain an isomorphism extendOpIso : K.op.extend e.op ≅ (K.extend e).op.
feat(Algebra/Homology/Embedding): dualise extend (#19560)
When e is an embedding of complex shapes, we obtain an isomorphism extendOpIso : K.op.extend e.op ≅ (K.extend e).op.