Showing changes from revision #4 to #5:
Added | Removed | Changed
The smash product of two pointed type types s A,B can be defined as the 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 October 14, 2018 at 13:27:02 by Ali Caglayan. See the history of this page for a list of all contributions to it.