# Homotopy Type Theory smash product (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

# Idea

The smash product of two pointed types A,B can be defined as the pushout of the span

$\mathbf 1 \leftarrow A \wedge B \rightarrow A \times B$

where $A \wedge B \rightarrow A \times B$ is the inclusion of the Wedge sum in the product type? both of which are pointed. The resulting pushout is denoted the smash product $A \wedge B$ and is pointed by $\star_{A \wedge B}\equiv\mathrm{inl}(\star_{\mathbf 1})$

# References

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