Showing changes from revision #6 to #7:
Added | Removed | Changed
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
Last revised on February 14, 2019 at 03:28:55. See the history of this page for a list of all contributions to it.