Skip to main content

To make some sense of the various possibilities for maps in order theory, it is best to look at structures in the sense of algebra, rather than properties of maps.

According to algebra, when dealing with structured sets, the corresponding notion of homomorphism should be a map which preserves structure. And then category theory teaches us that the morphisms are just as important as the object (in fact, they are more important).

For example, it may seem odd to distinguish between posets which have all suprema and posets which have all suprema and infima. After all, any poset which has all suprema has the infima too. But the difference matters when we look at the two categories:

  1. $\mathbf{SupLat}$: the objects are posets with arbitrary suprema (which are just complete lattices), the morphisms are maps which preserve suprema.
  2. $\mathbf{SupInfLat}$: the objects are posets with arbitrary suprema and inifma (which again are just complete lattices), the morphisms are maps which presrerve suprema and infima.

As was already pointed out in Zhen's answer, there are maps on complete lattices which preserve suprema but not infima, so the distinction is meaningful.

You ask about a clear definition of continuity in complete lattices. Continuity is about topology, so we should look at ways of topologizing complete lattices, or more generally posets, as then it will be clear what the continuous maps are. Among all the possibilities, it is probably desirable to restrict to those that allow us to recover the partial order from the topology by passing to the specialization orderspecialization order. The strongest topology with this property is the Alexandrov topologyAlexandrov topology for which continuity coincides with monotonicity. A very reasonable choice of topology induced by a partial order might be the Scott topologyScott topology which leads to the concept of a Scott continuityScott continuity: for reasonable posets a map is Scott-continuous when it preserves directed suprema. You may entertain yourself by figuring out whether there is a topology for which the continuous maps are those that preserve suprema and infima.

I cannot tell you which topology is the right one for you. That depends on what you are doing. I hope it is at least clear that the question should be framed in the context of algebra and category theory (morphisms preserve structure) and that continuity is about topology (so we should topologize partial orders).

To make some sense of the various possibilities for maps in order theory, it is best to look at structures in the sense of algebra, rather than properties of maps.

According to algebra, when dealing with structured sets, the corresponding notion of homomorphism should be a map which preserves structure. And then category theory teaches us that the morphisms are just as important as the object (in fact, they are more important).

For example, it may seem odd to distinguish between posets which have all suprema and posets which have all suprema and infima. After all, any poset which has all suprema has the infima too. But the difference matters when we look at the two categories:

  1. $\mathbf{SupLat}$: the objects are posets with arbitrary suprema (which are just complete lattices), the morphisms are maps which preserve suprema.
  2. $\mathbf{SupInfLat}$: the objects are posets with arbitrary suprema and inifma (which again are just complete lattices), the morphisms are maps which presrerve suprema and infima.

As was already pointed out in Zhen's answer, there are maps on complete lattices which preserve suprema but not infima, so the distinction is meaningful.

You ask about a clear definition of continuity in complete lattices. Continuity is about topology, so we should look at ways of topologizing complete lattices, or more generally posets, as then it will be clear what the continuous maps are. Among all the possibilities, it is probably desirable to restrict to those that allow us to recover the partial order from the topology by passing to the specialization order. The strongest topology with this property is the Alexandrov topology for which continuity coincides with monotonicity. A very reasonable choice of topology induced by a partial order might be the Scott topology which leads to the concept of a Scott continuity: for reasonable posets a map is Scott-continuous when it preserves directed suprema. You may entertain yourself by figuring out whether there is a topology for which the continuous maps are those that preserve suprema and infima.

I cannot tell you which topology is the right one for you. That depends on what you are doing. I hope it is at least clear that the question should be framed in the context of algebra and category theory (morphisms preserve structure) and that continuity is about topology (so we should topologize partial orders).

To make some sense of the various possibilities for maps in order theory, it is best to look at structures in the sense of algebra, rather than properties of maps.

According to algebra, when dealing with structured sets, the corresponding notion of homomorphism should be a map which preserves structure. And then category theory teaches us that the morphisms are just as important as the object (in fact, they are more important).

For example, it may seem odd to distinguish between posets which have all suprema and posets which have all suprema and infima. After all, any poset which has all suprema has the infima too. But the difference matters when we look at the two categories:

  1. $\mathbf{SupLat}$: the objects are posets with arbitrary suprema (which are just complete lattices), the morphisms are maps which preserve suprema.
  2. $\mathbf{SupInfLat}$: the objects are posets with arbitrary suprema and inifma (which again are just complete lattices), the morphisms are maps which presrerve suprema and infima.

As was already pointed out in Zhen's answer, there are maps on complete lattices which preserve suprema but not infima, so the distinction is meaningful.

You ask about a clear definition of continuity in complete lattices. Continuity is about topology, so we should look at ways of topologizing complete lattices, or more generally posets, as then it will be clear what the continuous maps are. Among all the possibilities, it is probably desirable to restrict to those that allow us to recover the partial order from the topology by passing to the specialization order. The strongest topology with this property is the Alexandrov topology for which continuity coincides with monotonicity. A very reasonable choice of topology induced by a partial order might be the Scott topology which leads to the concept of a Scott continuity: for reasonable posets a map is Scott-continuous when it preserves directed suprema. You may entertain yourself by figuring out whether there is a topology for which the continuous maps are those that preserve suprema and infima.

I cannot tell you which topology is the right one for you. That depends on what you are doing. I hope it is at least clear that the question should be framed in the context of algebra and category theory (morphisms preserve structure) and that continuity is about topology (so we should topologize partial orders).

added 132 characters in body
Source Link
Andrej Bauer
  • 48.8k
  • 11
  • 131
  • 239

To make some sense of the various possibilities for maps in order theory, it is best to look at structures in the sense of algebra, rather than properties of maps.

According to algebra, when dealing with structured sets, the corresponding notion of homomorphism should be a map which preserves structure. And then category theory teaches us that the morphisms are just as important as the object (in fact, they are more important).

For example, it may seem odd to distinguish between posets which have all suprema and posets which have all suprema and infima. After all, any poset which has all suprema has the infima too. But the difference matters when we look at the two categories:

  1. $\mathbf{SupLat}$: the objects are posets with arbitrary suprema (which are just complete lattices), the morphisms are maps which preserve suprema.
  2. $\mathbf{SupInfLat}$: the objects are posets with arbitrary suprema and inifma (which again are just complete lattices), the morphisms are maps which presrerve suprema and infima.

As was already pointed out in Zhen's answer, there are maps on complete lattices which preserve suprema but not infima, so the distinction is meaningful.

You ask about a clear definition of continuity in complete lattices. Continuity is about topology, so we should look at a wayways of topologizing complete lattices, or more generally posets, as then it will be clear what the continuous maps are. Among all possible ways of topologizing a posetthe possibilities, it is probably desirable to userestrict to those that allow us to recover the partial order from the topology by passing to the specialization order. The strongest topology with this property is the Alexandrov topology for which continuity coincides with monotonicity. A very reasonable choice of topology induced by a partial order might be the Scott topology which leads to the concept of a Scott continuity: for reasonable posets a map is Scott-continuous when it preserves directed suprema. You may entertain yourself by figuring out whether there is a topology for which the continuous maps are those that preserve suprema and infima.

I cannot tell you which topology is the right one for you. That depends on what you are doing. I hope it is at least clear that the question should be framed in the context of algebra and category theory (morphisms preserve structure) and that continuity is about topology (so we should topologize partial orders).

To make some sense of the various possibilities for maps in order theory, it is best to look at structures in the sense of algebra, rather than properties of maps.

According to algebra, when dealing with structured sets, the corresponding notion of homomorphism should be a map which preserves structure. And then category theory teaches us that the morphisms are just as important as the object (in fact, they are more important).

For example, it may seem odd to distinguish between posets which have all suprema and posets which have all suprema and infima. After all, any poset which has all suprema has the infima too. But the difference matters when we look at the two categories:

  1. $\mathbf{SupLat}$: the objects are posets with arbitrary suprema (which are just complete lattices), the morphisms are maps which preserve suprema.
  2. $\mathbf{SupInfLat}$: the objects are posets with arbitrary suprema and inifma (which again are just complete lattices), the morphisms are maps which presrerve suprema and infima.

As was already pointed out in Zhen's answer, there are maps on complete lattices which preserve suprema but not infima, so the distinction is meaningful.

You ask about a clear definition of continuity in complete lattices. Continuity is about topology, so we should look at a way of topologizing complete lattices, or more generally posets, as then it will be clear what the continuous maps are. Among all possible ways of topologizing a poset, it is probably desirable to use those that allow us to recover the partial order from the topology by passing to the specialization order. The strongest topology with this property is the Alexandrov topology for which continuity coincides with monotonicity. A very reasonable choice of topology induced by a partial order might be the Scott topology which leads to the concept of a Scott continuity: for reasonable posets a map is Scott-continuous when it preserves directed suprema.

I cannot tell you which topology is the right one for you. That depends on what you are doing. I hope it is at least clear that the question should be framed in the context of algebra and category theory (morphisms preserve structure) and that continuity is about topology (so we should topologize partial orders).

To make some sense of the various possibilities for maps in order theory, it is best to look at structures in the sense of algebra, rather than properties of maps.

According to algebra, when dealing with structured sets, the corresponding notion of homomorphism should be a map which preserves structure. And then category theory teaches us that the morphisms are just as important as the object (in fact, they are more important).

For example, it may seem odd to distinguish between posets which have all suprema and posets which have all suprema and infima. After all, any poset which has all suprema has the infima too. But the difference matters when we look at the two categories:

  1. $\mathbf{SupLat}$: the objects are posets with arbitrary suprema (which are just complete lattices), the morphisms are maps which preserve suprema.
  2. $\mathbf{SupInfLat}$: the objects are posets with arbitrary suprema and inifma (which again are just complete lattices), the morphisms are maps which presrerve suprema and infima.

As was already pointed out in Zhen's answer, there are maps on complete lattices which preserve suprema but not infima, so the distinction is meaningful.

You ask about a clear definition of continuity in complete lattices. Continuity is about topology, so we should look at ways of topologizing complete lattices, or more generally posets, as then it will be clear what the continuous maps are. Among all the possibilities, it is probably desirable to restrict to those that allow us to recover the partial order from the topology by passing to the specialization order. The strongest topology with this property is the Alexandrov topology for which continuity coincides with monotonicity. A very reasonable choice of topology induced by a partial order might be the Scott topology which leads to the concept of a Scott continuity: for reasonable posets a map is Scott-continuous when it preserves directed suprema. You may entertain yourself by figuring out whether there is a topology for which the continuous maps are those that preserve suprema and infima.

I cannot tell you which topology is the right one for you. That depends on what you are doing. I hope it is at least clear that the question should be framed in the context of algebra and category theory (morphisms preserve structure) and that continuity is about topology (so we should topologize partial orders).

Source Link
Andrej Bauer
  • 48.8k
  • 11
  • 131
  • 239

To make some sense of the various possibilities for maps in order theory, it is best to look at structures in the sense of algebra, rather than properties of maps.

According to algebra, when dealing with structured sets, the corresponding notion of homomorphism should be a map which preserves structure. And then category theory teaches us that the morphisms are just as important as the object (in fact, they are more important).

For example, it may seem odd to distinguish between posets which have all suprema and posets which have all suprema and infima. After all, any poset which has all suprema has the infima too. But the difference matters when we look at the two categories:

  1. $\mathbf{SupLat}$: the objects are posets with arbitrary suprema (which are just complete lattices), the morphisms are maps which preserve suprema.
  2. $\mathbf{SupInfLat}$: the objects are posets with arbitrary suprema and inifma (which again are just complete lattices), the morphisms are maps which presrerve suprema and infima.

As was already pointed out in Zhen's answer, there are maps on complete lattices which preserve suprema but not infima, so the distinction is meaningful.

You ask about a clear definition of continuity in complete lattices. Continuity is about topology, so we should look at a way of topologizing complete lattices, or more generally posets, as then it will be clear what the continuous maps are. Among all possible ways of topologizing a poset, it is probably desirable to use those that allow us to recover the partial order from the topology by passing to the specialization order. The strongest topology with this property is the Alexandrov topology for which continuity coincides with monotonicity. A very reasonable choice of topology induced by a partial order might be the Scott topology which leads to the concept of a Scott continuity: for reasonable posets a map is Scott-continuous when it preserves directed suprema.

I cannot tell you which topology is the right one for you. That depends on what you are doing. I hope it is at least clear that the question should be framed in the context of algebra and category theory (morphisms preserve structure) and that continuity is about topology (so we should topologize partial orders).