Function spectrum with values in a ring spectrum
ID: function-spectrum-with-values-in-a-ring-spectrum
If is a ring spectrum, then is a ring spectrum. Its multiplication is adjoint to evaluating the two functions on the two copies supplied by the diagonal of , then multiplying in . Its unit is the constant unit function. Coassociativity of the diagonal and associativity in prove the associative identity; the counit and unit identities prove both unit laws.
New to topics? Read the docs here!