language:
Find link is a tool written by Edward Betts.searching for Category of abelian groups 32 found (98 total)
alternate case: category of abelian groups
AB5 category
(113 words)
[view diff]
exact match in snippet
view article
find links to article
various kinds of categories enriched over the symmetric monoidal category of abelian groups. Abelian categories are sometimes called AB2 categories, accordingSplitting lemma (1,092 words) [view diff] no match in snippet view article find links to article
In mathematics, and more specifically in homological algebra, the splitting lemma states that in any abelian category, the following statements are equivalentBredon cohomology (98 words) [view diff] exact match in snippet view article find links to article
{\displaystyle G} -complexes with equivariant homotopy maps to the category of abelian groups together with the connecting homomorphism satisfying some conditionsTopological half-exact functor (172 words) [view diff] exact match in snippet view article find links to article
spaces) to an abelian category (most frequently in applications, category of abelian groups or category of modules over a fixed ring) that has a followingBivariant theory (433 words) [view diff] exact match in snippet view article find links to article
theory is a covariant functor from the category of spaces to the category of abelian groups, while a cohomology theory is a contravariant functor from theSize functor (523 words) [view diff] case mismatch in snippet view article find links to article
real numbers, and A b {\displaystyle \mathrm {Ab} \ } is the category of Abelian groups, defined in the following way. For x ≤ y {\displaystyle x\leqExact category (1,382 words) [view diff] exact match in snippet view article find links to article
take A to be the category of left-exact functors from E into the category of abelian groups, which is itself abelian and in which E is a natural subcategoryOperator K-theory (526 words) [view diff] exact match in snippet view article find links to article
from the category of C*-algebras and *-homomorphisms, to the category of abelian groups and group homomorphisms. The higher K-functors are defined viaPresheaf with transfers (2,676 words) [view diff] exact match in snippet view article find links to article
the category of finite correspondences (defined below) to the category of abelian groups (in category theory, “presheaf” is another term for a contravariantHomology (mathematics) (8,267 words) [view diff] exact match in snippet view article
the category of the mathematical object being studied to the category of abelian groups and group homomorphisms, or more generally to the category correspondingNormal morphism (280 words) [view diff] exact match in snippet view article find links to article
its kernel. Thus, abelian categories are always binormal. The category of abelian groups is the fundamental example of an abelian category, and accordinglyGenerator (category theory) (320 words) [view diff] exact match in snippet view article
The dual concept is called a cogenerator or coseparator. In the category of abelian groups, the group of integers Z {\displaystyle \mathbf {Z} } is a generator:Injective cogenerator (513 words) [view diff] exact match in snippet view article find links to article
is injective. For example, the integers are a generator of the category of abelian groups (since every abelian group is a quotient of a free abelian group)Eilenberg–Steenrod axioms (750 words) [view diff] exact match in snippet view article find links to article
( X , A ) {\displaystyle (X,A)} of topological spaces to the category of abelian groups, together with a natural transformation ∂ : H i ( X , A ) → HZig-zag lemma (656 words) [view diff] exact match in snippet view article find links to article
in every abelian category. In an abelian category (such as the category of abelian groups or the category of vector spaces over a given field), let ( AForgetful functor (1,161 words) [view diff] exact match in snippet view article find links to article
Deleting × {\displaystyle \times } and 1 yields a functor to the category of abelian groups, which assigns to each ring R {\displaystyle R} the underlyingFive lemma (867 words) [view diff] exact match in snippet view article find links to article
following commutative diagram in any abelian category (such as the category of abelian groups or the category of vector spaces over a given field) or in theBiproduct (1,027 words) [view diff] exact match in snippet view article find links to article
empty, or nullary, biproduct is always a zero object. In the category of abelian groups, biproducts always exist and are given by the direct sum. TheBiproduct (1,027 words) [view diff] exact match in snippet view article find links to article
empty, or nullary, biproduct is always a zero object. In the category of abelian groups, biproducts always exist and are given by the direct sum. TheUnit (ring theory) (1,526 words) [view diff] exact match in snippet view article
forgetful functor from the category of commutative rings to the category of abelian groups). Suppose that R is commutative. Elements r and s of R are calledInjective object (1,031 words) [view diff] exact match in snippet view article find links to article
uniquely determined by X up to a non-canonical isomorphism. In the category of abelian groups and group homomorphisms, Ab, an injective object is necessarilySnake lemma (1,524 words) [view diff] exact match in snippet view article find links to article
connecting homomorphisms. In an abelian category (such as the category of abelian groups or the category of vector spaces over a given field), considerCohomology (7,044 words) [view diff] exact match in snippet view article find links to article
CW-pairs (X, A) (so X is a CW complex and A is a subcomplex) to the category of abelian groups, together with a natural transformation ∂i: hi(X, A) → hi−1(A)Monoidal functor (1,285 words) [view diff] exact match in snippet view article find links to article
{Z} )\rightarrow (\mathbf {Set} ,\times ,\{\ast \})} from the category of abelian groups to the category of sets. In this case, the map ϕ A , B : U ( ADirect sum (2,813 words) [view diff] exact match in snippet view article find links to article
of the mathematical objects in question. For example, in the category of abelian groups, the direct sum is a coproduct. That is also true in the categoryLocal system (2,681 words) [view diff] exact match in snippet view article find links to article
the category of local systems of abelian groups on X and the category of abelian groups endowed with an action of π 1 ( X , x ) {\displaystyle \pi _{1}(XDold–Thom theorem (1,935 words) [view diff] exact match in snippet view article find links to article
from the category of basepointed, connected CW complexes to the category of abelian groups a reduced homology theory if they satisfy If f ≃ g: X → Y, thenK-theory of a category (1,656 words) [view diff] exact match in snippet view article find links to article
group construction is a functor from the category of rings to the category of abelian groups. The higher K-theory should then be a functor from the categoryTensor (9,351 words) [view diff] exact match in snippet view article find links to article
ISBN 978-1-4612-9839-7. ...for example the monoid M ... in the category of abelian groups, × is replaced by the usual tensor product... Bamberg, Paul; SternbergGrothendieck topology (4,507 words) [view diff] exact match in snippet view article find links to article
require either that a presheaf F is a contravariant functor to the category of abelian groups (or rings, or modules, etc.), or that F be an abelian group (ringTriangulated category (5,798 words) [view diff] exact match in snippet view article find links to article
\operatorname {Hom} ({\text{-}},B)} are cohomological, with values in the category of abelian groups. (To be precise, the latter is a contravariant functor, whichGlossary of algebraic topology (7,621 words) [view diff] exact match in snippet view article find links to article
contravariant functor from the category of pairs of spaces to the category of abelian groups that satisfies all of the Eilenberg–Steenrod axioms except the