Seifert-Van Kampen theorem
Appearance
Statement
Let be a topological space, and
be open sets such that
, and
,
and
are path-connected. Take a basepoint
with inclusion maps:
then the following diagram is a pushout:
Revision as of 15:37, 14 May 2026 by {{GENDER:InfernalAtom683|
'"7
Let be a topological space, and
be open sets such that
, and
,
and
are path-connected. Take a basepoint
with inclusion maps:
then the following diagram is a pushout: