Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
at smash product I have added after the definition (for pointed sets, currently) pointers to the general discussion of the closed monoidal structure at pointed object and to the article by Elmendorf-Mandell.
Eventually the entry smash product should be written in a bit more generality. But I wonâ€™t do it right now.
1 to 1 of 1