Skip to main content
added 72 characters in body
Source Link
Dag Oskar Madsen
  • 3.7k
  • 3
  • 28
  • 51

An "order two sequence" is a sequence of morphisms such that the composition of any two consecutive morphisms is the zero morphism. At the point you are asking about in Waldhausen's paper, the condition is then $\kappa \circ \iota=0$ (which always holds by the definition of completed splitting diagram).

References:

[Barry Mitchell, Theory of Categories, Section 15]

[Marco Grandis, On the categorical foundation of homological and homotopical algebra, Section 1.2]

An "order two sequence" is a sequence of morphisms such that the composition of any two consecutive morphisms is the zero morphism. At the point you are asking about in Waldhausen's paper, the condition is then $\kappa \circ \iota=0$.

References:

[Barry Mitchell, Theory of Categories, Section 15]

[Marco Grandis, On the categorical foundation of homological and homotopical algebra, Section 1.2]

An "order two sequence" is a sequence of morphisms such that the composition of any two consecutive morphisms is the zero morphism. At the point you are asking about in Waldhausen's paper, the condition is then $\kappa \circ \iota=0$ (which always holds by the definition of completed splitting diagram).

References:

[Barry Mitchell, Theory of Categories, Section 15]

[Marco Grandis, On the categorical foundation of homological and homotopical algebra, Section 1.2]

Removed doubt with better reference
Source Link
Dag Oskar Madsen
  • 3.7k
  • 3
  • 28
  • 51

"OrderAn "order two sequence" seems to meanis a sequence of morphisms such that the composition of any two consecutive morphisms in the sequence is the zero morphism. At the point you are asking about in Waldhausen's paper, the condition is then $\kappa \circ \iota=0$.

References that are in agreement with the above interpretation:

[Barry Mitchell, Theory of Categories, Section 15]

[Marco Grandis, On the categorical foundation of homological and homotopical algebra, Section 1.2]

[Barry Mitchell, Theory of Categories, Proposition 19.4]

"Order two sequence" seems to mean that the composition of any two consecutive morphisms in the sequence is the zero morphism. At the point you are asking about in Waldhausen's paper, the condition is then $\kappa \circ \iota=0$.

References that are in agreement with the above interpretation:

[Marco Grandis, On the categorical foundation of homological and homotopical algebra, Section 1.2]

[Barry Mitchell, Theory of Categories, Proposition 19.4]

An "order two sequence" is a sequence of morphisms such that the composition of any two consecutive morphisms is the zero morphism. At the point you are asking about in Waldhausen's paper, the condition is then $\kappa \circ \iota=0$.

References:

[Barry Mitchell, Theory of Categories, Section 15]

[Marco Grandis, On the categorical foundation of homological and homotopical algebra, Section 1.2]

Source Link
Dag Oskar Madsen
  • 3.7k
  • 3
  • 28
  • 51

"Order two sequence" seems to mean that the composition of any two consecutive morphisms in the sequence is the zero morphism. At the point you are asking about in Waldhausen's paper, the condition is then $\kappa \circ \iota=0$.

References that are in agreement with the above interpretation:

[Marco Grandis, On the categorical foundation of homological and homotopical algebra, Section 1.2]

[Barry Mitchell, Theory of Categories, Proposition 19.4]