49 relations: Abelian category, Abelian group, Adjoint functors, Bilinear map, Biproduct, Category of abelian groups, Category of modules, Category theory, Cokernel, Commutative ring, Coproduct, Dimension, Direct sum, Endomorphism ring, Enriched category, Epimorphism, Field (mathematics), Finitary, Finite set, Free abelian group, Group homomorphism, Initial and terminal objects, Jacob Lurie, Kernel (category theory), Mathematics, Matrix (mathematics), Matrix addition, Matrix multiplication, Module (mathematics), Monoid, Monoidal category, Monomorphism, Morphism, Natural number, Nicolae Popescu, Normal morphism, Pointwise, Pre-abelian category, Preadditive category, Product (category theory), Real number, Ring (mathematics), Row and column vectors, Set (mathematics), Subcategory, Trivial group, Vector space, Zero object (algebra), 0.
Abelian category
In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties.
New!!: Additive category and Abelian category · See more »
Abelian group
In abstract algebra, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written.
New!!: Additive category and Abelian group · See more »
Adjoint functors
In mathematics, specifically category theory, adjunction is a possible relationship between two functors.
New!!: Additive category and Adjoint functors · See more »
Bilinear map
In mathematics, a bilinear map is a function combining elements of two vector spaces to yield an element of a third vector space, and is linear in each of its arguments.
New!!: Additive category and Bilinear map · See more »
Biproduct
In category theory and its applications to mathematics, a biproduct of a finite collection of objects, in a category with zero objects, is both a product and a coproduct.
New!!: Additive category and Biproduct · See more »
Category of abelian groups
In mathematics, the category Ab has the abelian groups as objects and group homomorphisms as morphisms.
New!!: Additive category and Category of abelian groups · See more »
Category of modules
In algebra, given a ring R, the category of left modules over R is the category whose objects are all left modules over R and whose morphisms are all module homomorphisms between left R-modules.
New!!: Additive category and Category of modules · See more »
Category theory
Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms).
New!!: Additive category and Category theory · See more »
Cokernel
In mathematics, the cokernel of a linear mapping of vector spaces f: X → Y is the quotient space Y/im(f) of the codomain of f by the image of f. The dimension of the cokernel is called the corank of f. Cokernels are dual to the kernels of category theory, hence the name: the kernel is a subobject of the domain (it maps to the domain), while the cokernel is a quotient object of the codomain (it maps from the codomain).
New!!: Additive category and Cokernel · See more »
Commutative ring
In ring theory, a branch of abstract algebra, a commutative ring is a ring in which the multiplication operation is commutative.
New!!: Additive category and Commutative ring · See more »
Coproduct
In category theory, the coproduct, or categorical sum, is a category-theoretic construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces.
New!!: Additive category and Coproduct · See more »
Dimension
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it.
New!!: Additive category and Dimension · See more »
Direct sum
The direct sum is an operation from abstract algebra, a branch of mathematics.
New!!: Additive category and Direct sum · See more »
Endomorphism ring
In abstract algebra, the endomorphism ring of an abelian group X, denoted by End(X), is the set of all endomorphisms of X (i.e., the set of all homomorphisms of X into itself) endowed with an addition operation defined by pointwise addition of functions and a multiplication operation defined by function composition.
New!!: Additive category and Endomorphism ring · See more »
Enriched category
In category theory, a branch of mathematics, an enriched category generalizes the idea of a category by replacing hom-sets with objects from a general monoidal category.
New!!: Additive category and Enriched category · See more »
Epimorphism
In category theory, an epimorphism (also called an epic morphism or, colloquially, an epi) is a morphism f: X → Y that is right-cancellative in the sense that, for all morphisms, Epimorphisms are categorical analogues of surjective functions (and in the category of sets the concept corresponds to the surjective functions), but it may not exactly coincide in all contexts; for example, the inclusion \mathbb\to\mathbb is a ring-epimorphism.
New!!: Additive category and Epimorphism · See more »
Field (mathematics)
In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined, and behave as when they are applied to rational and real numbers.
New!!: Additive category and Field (mathematics) · See more »
Finitary
In mathematics or logic, a finitary operation is an operation of finite arity, that is an operation that takes a finite number of input values.
New!!: Additive category and Finitary · See more »
Finite set
In mathematics, a finite set is a set that has a finite number of elements.
New!!: Additive category and Finite set · See more »
Free abelian group
In abstract algebra, a free abelian group or free Z-module is an abelian group with a basis.
New!!: Additive category and Free abelian group · See more »
Group homomorphism
In mathematics, given two groups, (G, ∗) and (H, ·), a group homomorphism from (G, ∗) to (H, ·) is a function h: G → H such that for all u and v in G it holds that where the group operation on the left hand side of the equation is that of G and on the right hand side that of H. From this property, one can deduce that h maps the identity element eG of G to the identity element eH of H, and it also maps inverses to inverses in the sense that Hence one can say that h "is compatible with the group structure".
New!!: Additive category and Group homomorphism · See more »
Initial and terminal objects
In category theory, a branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C, there exists precisely one morphism I → X. The dual notion is that of a terminal object (also called terminal element): T is terminal if for every object X in C there exists a single morphism X → T. Initial objects are also called coterminal or universal, and terminal objects are also called final.
New!!: Additive category and Initial and terminal objects · See more »
Jacob Lurie
Jacob Alexander Lurie (born December 7, 1977) is an American mathematician who is a professor at Harvard University.
New!!: Additive category and Jacob Lurie · See more »
Kernel (category theory)
In category theory and its applications to other branches of mathematics, kernels are a generalization of the kernels of group homomorphisms, the kernels of module homomorphisms and certain other kernels from algebra.
New!!: Additive category and Kernel (category theory) · See more »
Mathematics
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
New!!: Additive category and Mathematics · See more »
Matrix (mathematics)
In mathematics, a matrix (plural: matrices) is a rectangular array of numbers, symbols, or expressions, arranged in rows and columns.
New!!: Additive category and Matrix (mathematics) · See more »
Matrix addition
In mathematics, matrix addition is the operation of adding two matrices by adding the corresponding entries together.
New!!: Additive category and Matrix addition · See more »
Matrix multiplication
In mathematics, matrix multiplication or matrix product is a binary operation that produces a matrix from two matrices with entries in a field, or, more generally, in a ring or even a semiring.
New!!: Additive category and Matrix multiplication · See more »
Module (mathematics)
In mathematics, a module is one of the fundamental algebraic structures used in abstract algebra.
New!!: Additive category and Module (mathematics) · See more »
Monoid
In abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a single associative binary operation and an identity element.
New!!: Additive category and Monoid · See more »
Monoidal category
In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor that is associative up to a natural isomorphism, and an object I that is both a left and right identity for ⊗, again up to a natural isomorphism.
New!!: Additive category and Monoidal category · See more »
Monomorphism
In the context of abstract algebra or universal algebra, a monomorphism is an injective homomorphism.
New!!: Additive category and Monomorphism · See more »
Morphism
In mathematics, a morphism is a structure-preserving map from one mathematical structure to another one of the same type.
New!!: Additive category and Morphism · See more »
Natural number
In mathematics, the natural numbers are those 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").
New!!: Additive category and Natural number · See more »
Nicolae Popescu
Nicolae Popescu, Ph.D., D.Phil. (22 September 1937 – 29 July 2010) was a Romanian mathematician and professor at the University of Bucharest.
New!!: Additive category and Nicolae Popescu · See more »
Normal morphism
In category theory and its applications to mathematics, a normal monomorphism or conormal epimorphism is a particularly well-behaved type of morphism.
New!!: Additive category and Normal morphism · See more »
Pointwise
In mathematics, the qualifier pointwise is used to indicate that a certain property is defined by considering each value f(x) of some function f. An important class of pointwise concepts are the pointwise operations — operations defined on functions by applying the operations to function values separately for each point in the domain of definition.
New!!: Additive category and Pointwise · See more »
Pre-abelian category
In mathematics, specifically in category theory, a pre-abelian category is an additive category that has all kernels and cokernels.
New!!: Additive category and Pre-abelian category · See more »
Preadditive category
In mathematics, specifically in category theory, a preadditive category is a category that is enriched over the monoidal category of abelian groups.
New!!: Additive category and Preadditive category · See more »
Product (category theory)
In category theory, the product of two (or more) objects in a category is a notion designed to capture the essence behind constructions in other areas of mathematics such as the cartesian product of sets, the direct product of groups, the direct product of rings and the product of topological spaces.
New!!: Additive category and Product (category theory) · See more »
Real number
In mathematics, a real number is a value of a continuous quantity that can represent a distance along a line.
New!!: Additive category and Real number · See more »
Ring (mathematics)
In mathematics, a ring is one of the fundamental algebraic structures used in abstract algebra.
New!!: Additive category and Ring (mathematics) · See more »
Row and column vectors
In linear algebra, a column vector or column matrix is an m × 1 matrix, that is, a matrix consisting of a single column of m elements, Similarly, a row vector or row matrix is a 1 × m matrix, that is, a matrix consisting of a single row of m elements Throughout, boldface is used for the row and column vectors.
New!!: Additive category and Row and column vectors · See more »
Set (mathematics)
In mathematics, a set is a collection of distinct objects, considered as an object in its own right.
New!!: Additive category and Set (mathematics) · See more »
Subcategory
In mathematics, a subcategory of a category C is a category S whose objects are objects in C and whose morphisms are morphisms in C with the same identities and composition of morphisms.
New!!: Additive category and Subcategory · See more »
Trivial group
In mathematics, a trivial group is a group consisting of a single element.
New!!: Additive category and Trivial group · See more »
Vector space
A vector space (also called a linear space) is a collection of objects called vectors, which may be added together and multiplied ("scaled") by numbers, called scalars.
New!!: Additive category and Vector space · See more »
Zero object (algebra)
In algebra, the zero object of a given algebraic structure is, in the sense explained below, the simplest object of such structure.
New!!: Additive category and Zero object (algebra) · See more »
0
0 (zero) is both a number and the numerical digit used to represent that number in numerals.
New!!: Additive category and 0 · See more »
Redirects here:
References
[1] https://en.wikipedia.org/wiki/Additive_category