|
K-theory Of A Category
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 ''K''i(''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 h ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic K-theory
Algebraic ''K''-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called ''K''-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the ''K''-groups of the integers. ''K''-theory was discovered in the late 1950s by Alexander Grothendieck in his study of intersection theory on algebraic varieties. In the modern language, Grothendieck defined only ''K''0, the zeroth ''K''-group, but even this single group has plenty of applications, such as the Grothendieck–Riemann–Roch theorem. Intersection theory is still a motivating force in the development of (higher) algebraic ''K''-theory through its links with motivic cohomology and specifically Chow groups. The subject also includes classical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monomorphism
In the context of abstract algebra or universal algebra, a monomorphism is an injective homomorphism. A monomorphism from to is often denoted with the notation X\hookrightarrow Y. In the more general setting of category theory, a monomorphism (also called a monic morphism or a mono) is a left-cancellative morphism. That is, an arrow such that for all objects and all morphisms , : f \circ g_1 = f \circ g_2 \implies g_1 = g_2. Monomorphisms are a categorical generalization of injective functions (also called "one-to-one functions"); in some categories the notions coincide, but monomorphisms are more general, as in the examples below. The categorical dual of a monomorphism is an epimorphism, that is, a monomorphism in a category ''C'' is an epimorphism in the dual category ''C''op. Every section is a monomorphism, and every retraction is an epimorphism. Relation to invertibility Left-invertible morphisms are necessarily monic: if ''l'' is a left inverse for ''f'' (meaning ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Number
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country"). Numbers used for counting are called ''Cardinal number, cardinal numbers'', and numbers used for ordering are called ''Ordinal number, ordinal numbers''. Natural numbers are sometimes used as labels, known as ''nominal numbers'', having none of the properties of numbers in a mathematical sense (e.g. sports Number (sports), jersey numbers). Some definitions, including the standard ISO/IEC 80000, ISO 80000-2, begin the natural numbers with , corresponding to the non-negative integers , whereas others start with , corresponding to the positive integers Texts that exclude zero from the natural numbers sometimes refer to the natural numbers together with zero as the whole numbers, while in other writings, that term is used instead for the integers (including negative integers). The natural ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Glossary Of Category Theory
This is a glossary of properties and concepts in category theory in mathematics. (see also Outline of category theory.) *Notes on foundations: In many expositions (e.g., Vistoli), the set-theoretic issues are ignored; this means, for instance, that one does not distinguish between small and large categories and that one can arbitrarily form a localization of a category.If one believes in the existence of strongly inaccessible cardinals, then there can be a rigorous theory where statements and constructions have references to Grothendieck universes. Like those expositions, this glossary also generally ignores the set-theoretic issues, except when they are relevant (e.g., the discussion on accessibility.) Especially for higher categories, the concepts from algebraic topology are also used in the category theory. For that see also glossary of algebraic topology. The notations and the conventions used throughout the article are: * 'n''= , which is viewed as a category (by writing i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morita Equivalence
In abstract algebra, Morita equivalence is a relationship defined between rings that preserves many ring-theoretic properties. More precisely two rings like ''R'', ''S'' are Morita equivalent (denoted by R\approx S) if their categories of modules are additively equivalent (denoted by _M\approx_M). It is named after Japanese mathematician Kiiti Morita who defined equivalence and a similar notion of duality in 1958. Motivation Rings are commonly studied in terms of their modules, as modules can be viewed as representations of rings. Every ring ''R'' has a natural ''R''-module structure on itself where the module action is defined as the multiplication in the ring, so the approach via modules is more general and gives useful information. Because of this, one often studies a ring by studying the category of modules over that ring. Morita equivalence takes this viewpoint to a natural conclusion by defining rings to be Morita equivalent if their module categories are equivalen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semiorthogonal Decomposition
In mathematics, a semiorthogonal decomposition is a way to divide a triangulated category into simpler pieces. One way to produce a semiorthogonal decomposition is from an exceptional collection, a special sequence of objects in a triangulated category. For an algebraic variety ''X'', it has been fruitful to study semiorthogonal decompositions of the bounded derived category of coherent sheaves, \text^(X). Semiorthogonal decomposition Alexei Bondal and Mikhail Kapranov (1989) defined a semiorthogonal decomposition of a triangulated category \mathcal to be a sequence \mathcal_1,\ldots,\mathcal_n of strictly full triangulated subcategories such that: *for all 1\leq i [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dg-category
In mathematics, especially homological algebra, a differential graded category, often shortened to dg-category or DG category, is a category whose morphism sets are endowed with the additional structure of a differential graded \Z-module. In detail, this means that \operatorname(A,B), the morphisms from any object ''A'' to another object ''B'' of the category is a direct sum :\bigoplus_\operatorname_n(A,B) and there is a differential ''d'' on this graded group, i.e., for each ''n'' there is a linear map :d\colon \operatorname_n(A,B) \rightarrow \operatorname_(A,B), which has to satisfy d \circ d = 0. This is equivalent to saying that \operatorname(A,B) is a cochain complex. Furthermore, the composition of morphisms \operatorname(A,B) \otimes \operatorname(B,C) \rightarrow \operatorname(A,C) is required to be a map of complexes, and for all objects ''A'' of the category, one requires d(\operatorname_A) = 0. Examples * Any additive category may be considered to be a DG-category by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Forgetful Functor
In mathematics, in the area of category theory, a forgetful functor (also known as a stripping functor) 'forgets' or drops some or all of the input's structure or properties 'before' mapping to the output. For an algebraic structure of a given signature, this may be expressed by curtailing the signature: the new signature is an edited form of the old one. If the signature is left as an empty list, the functor is simply to take the underlying set of a structure. Because many structures in mathematics consist of a set with an additional added structure, a forgetful functor that maps to the underlying set is the most common case. Overview As an example, there are several forgetful functors from the category of commutative rings. A ( unital) ring, described in the language of universal algebra, is an ordered tuple (R,+,\times,a,0,1) satisfying certain axioms, where + and \times are binary functions on the set R, a is a unary operation corresponding to additive inverse, and 0 and 1 are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pushout (category Theory)
In category theory, a branch of mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamated sum) is the colimit of a diagram consisting of two morphisms ''f'' : ''Z'' → ''X'' and ''g'' : ''Z'' → ''Y'' with a common domain. The pushout consists of an object ''P'' along with two morphisms ''X'' → ''P'' and ''Y'' → ''P'' that complete a commutative square with the two given morphisms ''f'' and ''g''. In fact, the defining universal property of the pushout (given below) essentially says that the pushout is the "most general" way to complete this commutative square. Common notations for the pushout are P = X \sqcup_Z Y and P = X +_Z Y. The pushout is the categorical dual of the pullback. Universal property Explicitly, the pushout of the morphisms ''f'' and ''g'' consists of an object ''P'' and two morphisms ''i''1 : ''X'' → ''P'' and ''i''2 : ''Y'' → ''P'' such that the diagram : commutes and such that ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spectrum (topology)
In algebraic topology, a branch of mathematics, a spectrum is an object representable functor, representing a Cohomology#Generalized cohomology theories, generalized cohomology theory. Every such cohomology theory is representable, as follows from Brown's representability theorem. This means that, given a cohomology theory\mathcal^*:\text^ \to \text,there exist spaces E^k such that evaluating the cohomology theory in degree k on a space X is equivalent to computing the homotopy classes of maps to the space E^k, that is\mathcal^k(X) \cong \left[X, E^k\right].Note there are several different category (mathematics), categories of spectra leading to many technical difficulties, but they all determine the same homotopy category, known as the stable homotopy category. This is one of the key points for introducing spectra because they form a natural home for stable homotopy theory. The definition of a spectrum There are many variations of the definition: in general, a ''spectrum'' is any s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spectrum (topology)
In algebraic topology, a branch of mathematics, a spectrum is an object representable functor, representing a Cohomology#Generalized cohomology theories, generalized cohomology theory. Every such cohomology theory is representable, as follows from Brown's representability theorem. This means that, given a cohomology theory\mathcal^*:\text^ \to \text,there exist spaces E^k such that evaluating the cohomology theory in degree k on a space X is equivalent to computing the homotopy classes of maps to the space E^k, that is\mathcal^k(X) \cong \left[X, E^k\right].Note there are several different category (mathematics), categories of spectra leading to many technical difficulties, but they all determine the same homotopy category, known as the stable homotopy category. This is one of the key points for introducing spectra because they form a natural home for stable homotopy theory. The definition of a spectrum There are many variations of the definition: in general, a ''spectrum'' is any s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Arrow Category
In mathematics, a comma category (a special case being a slice category) is a construction in category theory. It provides another way of looking at morphisms: instead of simply relating objects of a category to one another, morphisms become objects in their own right. This notion was introduced in 1963 by F. W. Lawvere (Lawvere, 1963 p. 36), although the technique did not become generally known until many years later. Several mathematical concepts can be treated as comma categories. Comma categories also guarantee the existence of some limits and colimits. The name comes from the notation originally used by Lawvere, which involved the comma punctuation mark. The name persists even though standard notation has changed, since the use of a comma as an operator is potentially confusing, and even Lawvere dislikes the uninformative term "comma category" (Lawvere, 1963 p. 13). Definition The most general comma category construction involves two functors with the same codomai ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
