The smash product of two pointed types A,B 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
Revision on September 4, 2018 at 09:30:22 by Ali Caglayan. See the history of this page for a list of all contributions to it.