MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What is the higher categorical generalization of exact sequence (3 terms or $\mathbb{Z}$ terms)? In particularly, consider the simplest cases: chain complexes, $L_\infty$-algebras.

share|cite|improve this question
There are many 'generalizations' according to what kind of higher category you take. – Fernando Muro Nov 7 '11 at 15:16
up vote 8 down vote accepted

I'm not sure exactly what you're asking for, but the notion of distinguished triangle in a triangulated category (or, if you want to be honestly higher-categorical, a stable $(\infty,1)$-category) is pretty close. Exact sequences as such only make sense in an abelian 1-categorical context, and the higher-categorical analogue of an abelian category is a stable $(\infty,1)$-category. In a distinguished triangle, the final term is the "cokernel" of the first two and the first term the "kernel" of the second two, and there is an induced long exact sequence on homology/homotopy. (The distinction between short exact and long exact sequences blurs in higher category theory, since any triangle can be extended indefinitely and doesn't zero out -- the kernel of a kernel isn't usually zero, and so on.)

There are other notions of "exactness" in nonabelian settings.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.