Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

For questions about proofs using equivalent map compositions in commutative diagrams in homological algebra, or in category theory in general.

Diagram chasing is a method for proving statements using equivalent map compositions in commutative diagrams, thereby using properties of the diagram such as injective or surjective maps, or exact sequences. Mostly used in homological algebra and category theory. Examples include the five lemma, the snake lemma and the nine lemma.

See also Diagram Chasing at MathWorld.

history | excerpt history