nLab
compact element

Compact/finite elements

Definition

Let PP be a poset such that every directed subset of PP has a join; that is, PP is a dcpo. A compact element, or finite element, of PP is a compact object in PP regarded as a thin category; that is, homs out of it commute with these directed joins.

In other words, cPc \in P is compact precisely if for every directed subset {d i}\{d_i\} of PP we have

(c id i) i(cd i). (c \leq \bigvee_i d_i ) \Leftrightarrow \exists_i (c \leq d_i) \,.

Of course, the \Leftarrow part of this is automatic, so the real condition is the \Rightarrow part. In more elementary terms:

  • If cDc \leq \bigvee D for DD a directed subset, then cdc \leq d for some dDd \in D.

Examples

Revised on March 28, 2012 11:18:52 by Toby Bartels (98.16.172.63)