The smash product of two pointed types can be defined as the pushout of the span
where is the inclusion of the wedge sum in the product type? both of which are pointed. The resulting pushout is denoted the smash product and is pointed by
It can also be defined as the pushout of the span
Revision on February 14, 2019 at 08:28:55 by Ali Caglayan. See the history of this page for a list of all contributions to it.