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.
Articles by others on the same topic
There are currently no matching articles.