K-theory of a permutative category
Special and general types
To a permutative category is naturally associated a Gamma-space, hence a symmetric spectrum. The generalized (Eilenberg-Steenrod) cohomology theory represented by this is called the (algebraic) K-theory of (or represented by) .
If the category is is even a bipermutative category then the corresponding K-theory of a bipermutative category in addition has E-infinity ring structure, hence is a multiplicative cohomology theory.
Write for the category of pointed objects finite sets.
For a permutative category, there is naturally a functor
such that (…).
(Elmendorf-Mandell, theorem 4.2)
Accordingly, postcomposition with the nerve produces from a Gamma-space . To this corresponds a spectrum
This is the K-theory spectrum of .
(Elmendorf-Mandell, def. 4.3)
- Graeme Segal, Catgeories and cohomology theories, Topology vol 13 (1974) (pdf)
Peter May, The spectra associated to permutative categories, Topology 17 (1978) (pdf)
Anthony Elmendorf, Michael Mandell, Permutative categories as a model of connective stable homotopy, in: Birgit Richter (ed.) Structured Ring spectra, Cambridge University Press (2004)
Anthony Elmendorf, Michael Mandell, Rings, modules and algebras in infinite loop space theory, K-Theory 0680 (web, pdf)
Revised on April 28, 2014 06:02:21
by Urs Schreiber