Alexander GrothendieckAlexander Grothendieck (ˈgroʊtəndiːk; ˌalɛˈksandɐ ˈɡʁoːtn̩ˌdiːk; ɡʁɔtɛndik; 28 March 1928 – 13 November 2014) was a French mathematician who became the leading figure in the creation of modern algebraic geometry. His research extended the scope of the field and added elements of commutative algebra, homological algebra, sheaf theory, and to its foundations, while his so-called "relative" perspective led to revolutionary advances in many areas of pure mathematics. He is considered by many to be the greatest mathematician of the twentieth century.
Zero morphismIn , a branch of mathematics, a zero morphism is a special kind of morphism exhibiting properties like the morphisms to and from a zero object. Suppose C is a , and f : X → Y is a morphism in C. The morphism f is called a constant morphism (or sometimes left zero morphism) if for any W in C and any g, h : W → X, fg = fh. Dually, f is called a coconstant morphism (or sometimes right zero morphism) if for any object Z in C and any g, h : Y → Z, gf = hf. A zero morphism is one that is both a constant morphism and a coconstant morphism.
Section (category theory)In , a branch of mathematics, a section is a right inverse of some morphism. , a retraction is a left inverse of some morphism. In other words, if and are morphisms whose composition is the identity morphism on , then is a section of , and is a retraction of . Every section is a monomorphism (every morphism with a left inverse is left-cancellative), and every retraction is an epimorphism (every morphism with a right inverse is right-cancellative). In algebra, sections are also called split monomorphisms and retractions are also called split epimorphisms.
Chain complexIn mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the of each homomorphism is included in the kernel of the next. Associated to a chain complex is its homology, which describes how the images are included in the kernels. A cochain complex is similar to a chain complex, except that its homomorphisms are in the opposite direction. The homology of a cochain complex is called its cohomology.
MonomorphismIn the context of abstract algebra or universal algebra, a monomorphism is an injective homomorphism. A monomorphism from X to Y is often denoted with the notation . In the more general setting of , a monomorphism (also called a monic morphism or a mono) is a left-cancellative morphism. That is, an arrow f : X → Y such that for all objects Z and all morphisms g1, g2: Z → X, 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.
BiproductIn and its applications to mathematics, a biproduct of a finite collection of , in a with zero objects, is both a and a coproduct. In a the notions of product and coproduct coincide for finite collections of objects. The biproduct is a generalization of finite direct sums of modules. Let C be a with zero morphisms. Given a finite (possibly empty) collection of objects A1, ...
Exact categoryIn mathematics, an exact category is a concept of due to Daniel Quillen which is designed to encapsulate the properties of short exact sequences in without requiring that morphisms actually possess , which is necessary for the usual definition of such a sequence. An exact category E is an possessing a class E of "short exact sequences": triples of objects connected by arrows satisfying the following axioms inspired by the properties of short exact sequences in an : E is closed under isomorphisms and contains the canonical ("split exact") sequences: Suppose occurs as the second arrow of a sequence in E (it is an admissible epimorphism) and is any arrow in E.
Enriched categoryIn , a branch of mathematics, an enriched category generalizes the idea of a by replacing hom-sets with objects from a general . It is motivated by the observation that, in many practical applications, the hom-set often has additional structure that should be respected, e.g., that of being a vector space of morphisms, or a topological space of morphisms. In an enriched category, the set of morphisms (the hom-set) associated with every pair of objects is replaced by an in some fixed monoidal category of "hom-objects".
Pushout (category theory)In , 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 consisting of two morphisms f : Z → X and g : Z → Y with a common domain. The pushout consists of an 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.
Normal morphismIn and its applications to mathematics, a normal monomorphism or conormal epimorphism is a particularly well-behaved type of morphism. A normal category is a category in which every monomorphism is normal. A conormal category is one in which every epimorphism is conormal. A monomorphism is normal if it is the of some morphism, and an epimorphism is conormal if it is the of some morphism. A category C is binormal if it's both normal and conormal. But note that some authors will use the word "normal" only to indicate that C is binormal.
