K-theory of a category (original) (raw)
In algebraic K-theory, the K-theory of a category C (usually equipped with some kind of additional data) is a sequence of abelian groups Ki(C) associated to it. If C is an abelian category, there is no need for extra data, but in general it only makes sense to speak of K-theory after specifying on C a structure of an exact category, or of a Waldhausen category, or of a dg-category, or possibly some other variants. Thus, there are several constructions of those groups, corresponding to various kinds of structures put on C. Traditionally, the K-theory of C is defined to be the result of a suitable construction, but in some contexts there are more conceptual definitions. For instance, the K-theory is a 'universal additive invariant' of dg-categories and small stable ∞-categories.
| Property | Value |
|---|---|
| dbo:abstract | In algebraic K-theory, the K-theory of a category C (usually equipped with some kind of additional data) is a sequence of abelian groups Ki(C) associated to it. If C is an abelian category, there is no need for extra data, but in general it only makes sense to speak of K-theory after specifying on C a structure of an exact category, or of a Waldhausen category, or of a dg-category, or possibly some other variants. Thus, there are several constructions of those groups, corresponding to various kinds of structures put on C. Traditionally, the K-theory of C is defined to be the result of a suitable construction, but in some contexts there are more conceptual definitions. For instance, the K-theory is a 'universal additive invariant' of dg-categories and small stable ∞-categories. The motivation for this notion comes from algebraic K-theory of rings. For a ring R Daniel Quillen in introduced two equivalent ways to find the higher K-theory. The plus construction expresses Ki(R) in terms of R directly, but it's hard to prove properties of the result, including basic ones like functoriality. The other way is to consider the exact category of projective modules over R and to set Ki(R) to be the K-theory of that category, defined using the Q-construction. This approach proved to be more useful, and could be applied to other exact categories as well. Later Friedhelm Waldhausen in extended the notion of K-theory even further, to very different kinds of categories, including the category of topological spaces. (en) |
| dbo:wikiPageExternalLink | http://www.maths.ed.ac.uk/~aar/papers/thomason1.pdf%7Ctitle=Algebraic http://math.stanford.edu/~gunnar/handbook.two.pdf%7Ctitle=Handbook https://pub.uni-bielefeld.de/record/1782197%7Cseries=Lecture |
| dbo:wikiPageID | 42083967 (xsd:integer) |
| dbo:wikiPageLength | 12315 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1048109746 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Module_(mathematics) dbr:Monomorphism dbr:Barratt–Priddy_theorem dbr:Algebraic_K-theory dbr:Arrow_category dbr:Volodin_space dbr:Q-construction dbr:Glossary_of_category_theory dbr:Morita_equivalence dbr:Simplicial_abelian_group dbr:Friedhelm_Waldhausen dbr:Dg-category dbr:Spectrum_(topology) dbc:K-theory dbr:Daniel_Quillen dbr:Forgetful_functor dbr:Projective_module dbr:Ring_(mathematics) dbr:Cotriple_homology dbr:Waldhausen_category dbc:Category_theory dbr:Abelian_category dbr:Abelian_group dbr:Eilenberg–MacLane_space dbr:Hochschild_homology dbr:Sphere_spectrum dbr:Small_category dbr:Grothendieck_group dbr:Natural_number dbr:Categorification dbr:Category_(mathematics) dbr:Exact_category dbr:Exact_sequence dbr:Pushout_(category_theory) dbr:Semiorthogonal_decomposition dbr:Simplicial_set dbr:Topological_space dbr:Stable_∞-category dbr:Springer-Verlag dbr:Graeme_B._Segal |
| dbp:wikiPageUsesTemplate | dbt:Citation dbt:Cite_book dbt:Cite_journal dbt:Harvtxt dbt:Reflist dbt:Lurie-HA |
| dct:subject | dbc:K-theory dbc:Category_theory |
| rdfs:comment | In algebraic K-theory, the K-theory of a category C (usually equipped with some kind of additional data) is a sequence of abelian groups Ki(C) associated to it. If C is an abelian category, there is no need for extra data, but in general it only makes sense to speak of K-theory after specifying on C a structure of an exact category, or of a Waldhausen category, or of a dg-category, or possibly some other variants. Thus, there are several constructions of those groups, corresponding to various kinds of structures put on C. Traditionally, the K-theory of C is defined to be the result of a suitable construction, but in some contexts there are more conceptual definitions. For instance, the K-theory is a 'universal additive invariant' of dg-categories and small stable ∞-categories. (en) |
| rdfs:label | K-theory of a category (en) |
| owl:sameAs | wikidata:K-theory of a category https://global.dbpedia.org/id/7JAcW |
| prov:wasDerivedFrom | wikipedia-en:K-theory_of_a_category?oldid=1048109746&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:K-theory_of_a_category |
| is dbo:wikiPageWikiLink of | dbr:Algebraic_K-theory dbr:Friedhelm_Waldhausen dbr:Waldhausen_category |
| is foaf:primaryTopic of | wikipedia-en:K-theory_of_a_category |