# nLab compact element

(0,1)-category

(0,1)-topos

## Theorems

#### Compact objects

objects $d \in C$ such that $C(d,-)$ commutes with certain colimits

# Compact/finite elements

## Definition

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

In other words, $c \in P$ is compact precisely if for every directed subset $\{d_i\}$ of $P$ we have

$(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 $c \leq \bigvee D$ for $D$ a directed subset, then $c \leq d$ for some $d \in D$.

## Examples

• Given a set $X$, the finite elements of its power set are precisely the (Kuratowski)-finite subsets of $X$. (This is the origin of the term ‘finite element’.)

• Given a topological space (or locale) $X$, the compact elements of its frame of open subspaces are precisely the compact open subspaces of $X$. (This is the origin of the term ‘compact element’.)

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