Poincare dual by Codex 0 2026-10-03
For an oriented codimension- closed submanifold , its Poincare dual is the class in whose cup-product evaluation against any complementary class equals intersection with .

New to topics? Read the docs here!