A partial order on a set is a way of ordering its elements to say that some elements precede others, but allowing for the possibility that two elements may be incomparable without being the same. This is the fundamental notion in order theory.
A poset can be understood as a set with extra structure.
Given a set , a partial order on is a (binary) relation with the following properties: * reflexivity: always; * transitivity: if , then ; * antisymmetry: if , then .
A poset is a set equipped with a partial order.
As a preorder with antisymmetry
A poset is precisely a proset satisfying the extra condition that implies that .
A poset can be understood as a category with extra property.
A poset is a category such that:
for any pair of objects , there is at most one morphism from to
if there is a morphism from to and a morphism from to (which by the above implies that and are isomorphic), then .
This says that a poset is a (0,1)-category or equivalently a thin category.
Equivalently, we may define a poset to be a skeletal thin category, or equivalently a skeletal category enriched over the cartesian monoidal category of truth values.
When we do this, we are soon led to contemplate a slight generalization of partial orders: namely preorders. The reason is that the antisymmetry law, saying that and imply , is evil in a certain sense. (On the other hand, it is not evil if taken as a definition of equality.)
The morphisms of partially ordered sets are monotone functions; a monotone function from a poset to a poset is a function from to (seen as structured sets) that preserves :
Equivalently, it is a functor from to (seen as certain categories).
In this way, posets form a category Pos.
A (closed bounded) interval in a poset is a set of the form
A poset is locally finite if every closed bounded interval is finite.
Kinds of posets
A poset with a top element and bottom element is called bounded. (But note that a subset of a poset may be bounded without being a bounded as a poset in its own right.) More generally, it is bounded above if it is has a top element and bounded below if it has a bottom element.
A poset with all meets and joins is called a lattice; if it has only one or the other, it is still a semilattice.
A poset in which every finite set has an upper bound (but perhaps not a least upper bound, that is a join) is a directed set.
As remarked above, a poset in which each interval is a finite set is called locally finite or a causet.
A poset with a bounding countable subset is called -bounded. That is, the poset is -bounded above if there exists a sequence (where is a natural number or infinity) such that for every in the poset there is an with . (The poset is -bounded below if we have instead.) Note that every bounded poset is -bounded, but not conversely. Note that some authorities require ; this makes a difference only for the empty poset (we say it is -bounded, they say it is not).
In higher category theory
A poset can be understood as a (0,1)-category. This suggests an obvious vertical categorification of the notion of poset to that of n-poset.
Locales from posets – Alexandroff topology
For a poset, write for the topological space whose underlying set is the underlying set of and whose open subsets are the upward closed subsets of : those subsets with the property that
This is called the Alexandroff topology on .
For more see Alexandroff topology.
Every poset is a Cauchy complete category. Posets are the Cauchy completions of prosets. (Rosolini)
Cauchy completion of prosets and posets is discussed in
- G. Rosolini, A note on Cauchy completeness for preorders (pdf)
Here are some references on directed homotopy theory:
Marco Grandis, Directed homotopy theory, I. The fundamental category (arXiv)
Tim Porter, Enriched categories and models for spaces of evolving states, Theoretical Computer Science, 405, (2008), pp. 88–100.
Tim Porter, Enriched categories and models for spaces of dipaths. A discussion document and overview of some techniques (pdf)