symmetric monoidal (∞,1)-category of spectra
Let be a commutative ring. A polynomial function is a a function such that
is in the image of the function from the free monoid on , i.e. the set of lists of elements in , to the function algebra , such that
is in the image of the canonical ring homomorphism from the polynomial ring in one indeterminant to the function algebra , which takes constant polynomials in to constant functions in and the indeterminant in to the identity function in
For a commutative ring , a polynomial function is a function with a natural number and a function from the set of natural numbers less than or equal to to , such that for all ,
where is the -th power function for multiplication.
For a commutative ring and a -non-commutative algebra , a -polynomial function is a function with a natural number and a function from the set of natural numbers less than or equal to to , such that for all ,
where is the -th power function for the (non-commutative) multiplication.
Last revised on November 25, 2022 at 23:42:53. See the history of this page for a list of all contributions to it.