Skip to main content
added 285 characters in body
Source Link
Paul Taylor
  • 8.5k
  • 1
  • 29
  • 58

I am going to concentrate on the underlying categorical issue here and leave the homological algebra to the experts in that subject.

A direct limit is also known as a colimit. Yours, I take it, is over a sequence $N$, and as such is called directed or filtered.

Being an short exact sequence $0\to A\to B\to C\to 0$ amounts three things:

  • $A\to B$ is a monomorphism or $0$ is its kernel, which are kinds of limit (or projective limit in old terminology), but finitary ones;

  • $B\to C$ is an epimorphism, or $C$ is its image, which are other kinds of colimit property, this time finitary ones.

  • the image of $A\to B$ is the kernel of $B\to C$, which combines properties of both kinds.

Now, limits commute with limits and colimits commute with colimits.

The question is whether filtered colimits commute with finite limits.

Indeed, they do if the category described is by a finitary algebraic theory.

I presume that a Grothendieck category is like this, though Zhen Lin says otherwise.

As David White says, the interest in filtered colimits arises from the fact that they are the ones that commute with finitary stuff such as limits in $\bf Set$.

However, this is not a theorem of categories in general.

As Zhen Lin points out, ${\bf Set}^{op}$ does not have this property. Limits and colimits in $\bf Set$ behave quite differently, as I emphasise in Chapter V of my book, Practical Foundations of Mathematics.

A preorder in which this happens is called meet-continuous. See Counterexamples O 4.5 of A Compendium of Continuous Lattices for complete lattices that are not meet-continuous.

(I had difficulty with my Internet connection when I originally posted this, so some of the intended text got deleted by mistake.)

I repeat that I am not an expert on homological algebra, but I note that the Wikipedia article on Grothendieck categories says explicitly that "direct limits (a.k.a. filtered colimits) of exact sequences are exact".

I am going to concentrate on the underlying categorical issue here and leave the homological algebra to the experts in that subject.

A direct limit is also known as a colimit. Yours, I take it, is over a sequence $N$, and as such is called directed or filtered.

Being an short exact sequence $0\to A\to B\to C\to 0$ amounts three things:

  • $A\to B$ is a monomorphism or $0$ is its kernel, which are kinds of limit (or projective limit in old terminology), but finitary ones;

  • $B\to C$ is an epimorphism, or $C$ is its image, which are other kinds of colimit property, this time finitary ones.

  • the image of $A\to B$ is the kernel of $B\to C$, which combines properties of both kinds.

Now, limits commute with limits and colimits commute with colimits.

The question is whether filtered colimits commute with finite limits.

Indeed, they do if the category described is by a finitary algebraic theory.

I presume that a Grothendieck category is like this, though Zhen Lin says otherwise.

As David White says, the interest in filtered colimits arises from the fact that they are the ones that commute with finitary stuff such as limits in $\bf Set$.

However, this is not a theorem of categories in general.

As Zhen Lin points out, ${\bf Set}^{op}$ does not have this property. Limits and colimits in $\bf Set$ behave quite differently, as I emphasise in Chapter V of my book, Practical Foundations of Mathematics.

A preorder in which this happens is called meet-continuous. See Counterexamples O 4.5 of A Compendium of Continuous Lattices for complete lattices that are not meet-continuous.

(I had difficulty with my Internet connection when I originally posted this, so some of the intended text got deleted by mistake.)

I am going to concentrate on the underlying categorical issue here and leave the homological algebra to the experts in that subject.

A direct limit is also known as a colimit. Yours, I take it, is over a sequence $N$, and as such is called directed or filtered.

Being an short exact sequence $0\to A\to B\to C\to 0$ amounts three things:

  • $A\to B$ is a monomorphism or $0$ is its kernel, which are kinds of limit (or projective limit in old terminology), but finitary ones;

  • $B\to C$ is an epimorphism, or $C$ is its image, which are other kinds of colimit property, this time finitary ones.

  • the image of $A\to B$ is the kernel of $B\to C$, which combines properties of both kinds.

Now, limits commute with limits and colimits commute with colimits.

The question is whether filtered colimits commute with finite limits.

Indeed, they do if the category described is by a finitary algebraic theory.

I presume that a Grothendieck category is like this, though Zhen Lin says otherwise.

As David White says, the interest in filtered colimits arises from the fact that they are the ones that commute with finitary stuff such as limits in $\bf Set$.

However, this is not a theorem of categories in general.

As Zhen Lin points out, ${\bf Set}^{op}$ does not have this property. Limits and colimits in $\bf Set$ behave quite differently, as I emphasise in Chapter V of my book, Practical Foundations of Mathematics.

A preorder in which this happens is called meet-continuous. See Counterexamples O 4.5 of A Compendium of Continuous Lattices for complete lattices that are not meet-continuous.

(I had difficulty with my Internet connection when I originally posted this, so some of the intended text got deleted by mistake.)

I repeat that I am not an expert on homological algebra, but I note that the Wikipedia article on Grothendieck categories says explicitly that "direct limits (a.k.a. filtered colimits) of exact sequences are exact".

expanded further
Source Link
Paul Taylor
  • 8.5k
  • 1
  • 29
  • 58

I am going to concentrate on the underlying categorical issue here and leave the homological algebra to the experts in that subject.

A direct limit is also known as a colimit. Yours, I take it, is over a sequence $N$, and as such is called directed or filtered.

Being an short exact sequence $0\to A\to B\to C\to 0$ amounts three things:

  • $A\to B$ is a monomorphism or $0$ is its kernel, which are kinds of limit (or projective limit in old terminology), but finitary ones;

  • $B\to C$ is an epimorphism, or $C$ is its image, which are other kinds of colimit property, this time finitary ones.

  • the image of $A\to B$ is the kernel of $B\to C$, which combines properties of both kinds.

Now, limits commute with limits and colimits commute with colimits.

The question is whether filtered colimits commute with finite limits.

Indeed, they do if the category described is by a finitary algebraic theory.

I presume that a Grothendieck category is like this, though Zhen Lin says otherwise.

I imagine thatAs David White says, the interest in filtered colimits arises from the fact that they are the ones that commute with finitefinitary stuff such as limits in pretty much any category of practical mathematical interest$\bf Set$.

However, but itthis is not a theorem of categories in general.

As Zhen Lin points out, ${\bf Set}^{op}$ does not have this property. Limits and colimits in $\bf Set$ behave quite differently, as I emphasise in Chapter V of my book, Practical Foundations of Mathematics.

A preorder in which this happens is called meet-continuous. See Counterexamples O 4.5 of A Compendium of Continuous Lattices for complete lattices that are not meet-continuous.

(I had difficulty with my Internet connection when I originally posted this, so some of the intended text got deleted by mistake.)

I am going to concentrate on the underlying categorical issue here and leave the homological algebra to the experts in that subject.

A direct limit is also known as a colimit. Yours, I take it, is over a sequence $N$, and as such is called directed or filtered.

Being an short exact sequence $0\to A\to B\to C\to 0$ amounts three things:

  • $A\to B$ is a monomorphism or $0$ is its kernel, which are kinds of limit (or projective limit in old terminology), but finitary ones;

  • $B\to C$ is an epimorphism, or $C$ is its image, which are other kinds of colimit property, this time finitary ones.

  • the image of $A\to B$ is the kernel of $B\to C$, which combines properties of both kinds.

Now, limits commute with limits and colimits commute with colimits.

The question is whether filtered colimits commute with finite limits.

Indeed, they do if the category described by a finitary algebraic theory.

I presume that a Grothendieck category is like this.

I imagine that filtered colimits commute with finite limits in pretty much any category of practical mathematical interest, but it is not a theorem of categories in general.

A preorder in which this happens is called meet-continuous. See Counterexamples O 4.5 of A Compendium of Continuous Lattices for complete lattices that are not meet-continuous.

(I had difficulty with my Internet connection when I originally posted this, so some of the intended text got deleted by mistake.)

I am going to concentrate on the underlying categorical issue here and leave the homological algebra to the experts in that subject.

A direct limit is also known as a colimit. Yours, I take it, is over a sequence $N$, and as such is called directed or filtered.

Being an short exact sequence $0\to A\to B\to C\to 0$ amounts three things:

  • $A\to B$ is a monomorphism or $0$ is its kernel, which are kinds of limit (or projective limit in old terminology), but finitary ones;

  • $B\to C$ is an epimorphism, or $C$ is its image, which are other kinds of colimit property, this time finitary ones.

  • the image of $A\to B$ is the kernel of $B\to C$, which combines properties of both kinds.

Now, limits commute with limits and colimits commute with colimits.

The question is whether filtered colimits commute with finite limits.

Indeed, they do if the category described is by a finitary algebraic theory.

I presume that a Grothendieck category is like this, though Zhen Lin says otherwise.

As David White says, the interest in filtered colimits arises from the fact that they are the ones that commute with finitary stuff such as limits in $\bf Set$.

However, this is not a theorem of categories in general.

As Zhen Lin points out, ${\bf Set}^{op}$ does not have this property. Limits and colimits in $\bf Set$ behave quite differently, as I emphasise in Chapter V of my book, Practical Foundations of Mathematics.

A preorder in which this happens is called meet-continuous. See Counterexamples O 4.5 of A Compendium of Continuous Lattices for complete lattices that are not meet-continuous.

(I had difficulty with my Internet connection when I originally posted this, so some of the intended text got deleted by mistake.)

incorporated answer to David White
Source Link
Paul Taylor
  • 8.5k
  • 1
  • 29
  • 58

I am going to concentrate on the underlying categorical issue here and leave the homological algebra to the experts in that subject.

A direct limit is also known as a colimit. Yours, I take it, is over a sequence $N$, and as such is called directed or filtered.

Being an short exact sequence $0\to A\to B\to C\to 0$ amounts three things:

  • $A\to B$ is a monomorphism or $0$ is its kernel, which are kinds of limit (or projective limit in old terminology), but finitary ones;

  • $B\to C$ is an epimorphism, or $C$ is its image, which are other kinds of *colimitcolimit property, this time finitary ones.

  • the image of $A\to B$ is the kernel of $B\to C$, which combines properties of both kinds.

Now, limits commute with limits and colimits commute with colimits.

The question is whether filtered colimits commute with finite limits.

At leastIndeed, they do if the category described by a finitary algebraic theory.

I presume that is what a Grothendieck category might meanis like this.

I imagine that filtered colimits commute with finite limits in pretty much any category of practical mathematical interest, but it is not a theorem of categories in general.

A preorder in which this happens is called meet-continuous. See Counterexamples O 4.5 of A Compendium of Continuous Lattices for complete lattices that are not meet-continuous.

(I had difficulty with my Internet connection when I originally posted this, so some of the intended text got deleted by mistake.)

I am going to concentrate on the underlying categorical issue here and leave the homological algebra to the experts in that subject.

A direct limit is also known as a colimit. Yours, I take it, is over a sequence $N$, and as such is called directed or filtered.

Being an short exact sequence $0\to A\to B\to C\to 0$ amounts three things:

  • $A\to B$ is a monomorphism or $0$ is its kernel, which are kinds of limit (or projective limit in old terminology), but finitary ones;

  • $B\to C$ is an epimorphism, or $C$ is its image, which are other kinds of *colimit property, this time finitary ones.

  • the image of $A\to B$ is the kernel of $B\to C$, which combines properties of both kinds.

Now, limits commute with limits and colimits commute with colimits.

The question is whether filtered colimits commute with finite limits.

At least, I presume that is what a Grothendieck category might mean.

I am going to concentrate on the underlying categorical issue here and leave the homological algebra to the experts in that subject.

A direct limit is also known as a colimit. Yours, I take it, is over a sequence $N$, and as such is called directed or filtered.

Being an short exact sequence $0\to A\to B\to C\to 0$ amounts three things:

  • $A\to B$ is a monomorphism or $0$ is its kernel, which are kinds of limit (or projective limit in old terminology), but finitary ones;

  • $B\to C$ is an epimorphism, or $C$ is its image, which are other kinds of colimit property, this time finitary ones.

  • the image of $A\to B$ is the kernel of $B\to C$, which combines properties of both kinds.

Now, limits commute with limits and colimits commute with colimits.

The question is whether filtered colimits commute with finite limits.

Indeed, they do if the category described by a finitary algebraic theory.

I presume that a Grothendieck category is like this.

I imagine that filtered colimits commute with finite limits in pretty much any category of practical mathematical interest, but it is not a theorem of categories in general.

A preorder in which this happens is called meet-continuous. See Counterexamples O 4.5 of A Compendium of Continuous Lattices for complete lattices that are not meet-continuous.

(I had difficulty with my Internet connection when I originally posted this, so some of the intended text got deleted by mistake.)

Source Link
Paul Taylor
  • 8.5k
  • 1
  • 29
  • 58
Loading