The smash product of two pointed types A,BA,B can be defined as the pushout of the span
where A∧B→A×BA \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∧BA \wedge B and is pointed by ⋆ A∧B≡inl(⋆ 1)\star_{A \wedge B}\equiv\mathrm{inl}(\star_{\mathbf 1})
It can also be defined as the pushout of the span
Revision on February 14, 2019 at 08:04:50 by Anonymous?. See the history of this page for a list of all contributions to it.