wedge sum (Rev #3, changes)

Showing changes from revision #2 to #3:
Added | ~~Removed~~ | ~~Chan~~ged

The wedge sum of two types $A$ and $B$, can be defined as the pushout of the span

$A \leftarrow \mathbf{1} \rightarrow B$

where the maps pick the base points of $A$ and $B$. This pushout is denoted $A \vee B$ and has basepoint $\star_{A \vee B} \equiv \mathrm{inl}(\star_A)$

category: homotopy theory

Revision on September 4, 2018 at 09:35:24 by Ali Caglayan. See the history of this page for a list of all contributions to it.