- diagram chasing
-
Proof in stages, each of which, in general, depends on the previous stages and can be visualized by means of a diagram of morphisms.
To prove the five lemma, just use diagram chasing.
See Also: diagram chase
Wikipedia foundation.
diagram chasing
Look at other dictionaries:
diagram chase — noun A proof in stages, each of which, in general, depends on the previous stages and can be visualized by means of a diagram of morphisms. To prove the five lemma, just use a diagram chase. See Also: diagram chasing … Wiktionary
Commutative diagram — For help on drawing commutative diagrams on Wikipedia, see meta:Help:Displaying a formula#Commutative diagrams. In mathematics, and especially in category theory, a commutative diagram is a diagram of objects (also known as vertices) and… … Wikipedia
Five lemma — In mathematics, especially homological algebra and other applications of Abelian category theory, the five lemma is an important and widely used lemma about commutative diagrams.The five lemma is valid not only for abelian categories but also… … Wikipedia
List of mathematical jargon — The language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in… … Wikipedia
Zig-zag lemma — In mathematics, particularly homological algebra, the zig zag lemma asserts the existence of a particular long exact sequence in the homology groups of certain chain complexes. The result is valid in every abelian category. Statement In an… … Wikipedia
Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… … Wikipedia
Mitchell's embedding theorem — Mitchell s embedding theorem, also known as the Freyd–Mitchell theorem, is a result stating that every abelian category admits a full and exact embedding into the category of R modules. This allows one to use element wise diagram chasing proofs… … Wikipedia
Nine lemma — In mathematics, the nine lemma is a statement about commutative diagrams and exact sequences valid in any abelian category, as well as in the category of groups. It states: if is a commutative diagram and all columns as well as the two bottom… … Wikipedia
Cofibration — In mathematics, in particular homotopy theory, a continuous mapping , where A and X are topological spaces, is a cofibration if it satisfies the homotopy extension property with respect to all spaces Y. The name is because the dual condition, the … Wikipedia
Outline of category theory — The following outline is provided as an overview of and guide to category theory: Category theory – area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as… … Wikipedia
