Example 16.3.6. Since the cartesian product in \(\An \) preserves colimits separately in both variables, this equips \(\An _*\) with the smash product monoidal structure. Its underlying tensor product is the smash product introduced in Definition 2.4.10.
Generated from the authoritative LaTeX source.