(0,1)-category

(0,1)-topos

# Contents

## Definition

###### Definition

An algebraic lattice is a lattice which is

An algebraic lattice is a complete lattice (equivalently, a suplattice, or in different words a poset with the property of having arbitrary colimits but with the structure of directed colimits/directed joins) in which every element is the supremum of the compact elements below it (an element $e$ is compact if, for every subset $S$ of the lattice, $e$ is less than or equal to the supremum of $S$ just in case $e$ is less than or equal to the supremum of some finite subset of $S$).

Here is an alternative formulation:

###### Definition

An algebraic lattice is a poset which is locally finitely presentable as a category.

This formulation suggests useful a way of viewing algebraic lattices in terms of Gabriel-Ulmer duality (but with regard to enrichment in truth values, instead of in $\mathrm{Set}$).

As this last formulation suggests, algebraic lattices typically arise as subobject lattices for objects in locally finitely presentable categories. As an example, for any (finitary) Lawvere theory $T$, the subobject lattice of an object in $T$-$\mathrm{Alg}$ is an algebraic lattice (this class of examples explains the origin of the term “algebraic lattice”, which is due to Garrett Birkhoff).

## Properties

### The category of algebraic lattices

The morphisms most commonly considered between algebraic lattices are the finitary functors? between them, which is to say, the Scott-continuous functions between them; i.e., those functions which preserve directed joins (hence the parenthetical remarks above).

The resulting category AlgLat is cartesian closed and is dually equivalent to the category whose objects are meet semilattices (construed as categories with finite limits enriched over truth values) and whose morphisms are meet-preserving profunctors between them (using the convention that a $V$-enriched profunctor from $C$ to $D$ is a functor ${D}^{\mathrm{op}}×C\to V$; of course, with an opposite convention, one could similarly state a covariant equivalence).

There is a full embedding

$i:\mathrm{AlgLat}\to {\mathrm{Top}}_{0}$i \colon AlgLat \to Top_0

to the category of ${T}_{0}$-spaces, taking an algebraic lattice $L$ to the space whose points are elements of $L$, and whose open sets $U$ are defined by the property that their characteristic maps

${\chi }_{U}:L\to 2$\chi_U: L \to \mathbf{2}

(${\chi }_{U}\left(a\right)=1$ if $a\in U$, else ${\chi }_{U}\left(a\right)=0$) are poset maps that preserve directed colimits. The specialization order of $i\left(L\right)$ is $L$ again.

Every ${T}_{0}$-space $X$ occurs as a subspace of some space $i\left(L\right)$ associated with an algebraic lattice. Explicitly, let $L\left(X\right)$ be the power set of the underlying set of the topology, $P\mid 𝒪\left(X\right)\mid$, and define

$X\to \left(i\circ L\right)\left(X\right)$X \to (i\circ L)(X)

to take $x$ to $N\left(x\right)≔\left\{U\in 𝒪\left(X\right):x\in U\right\}$. This gives a topological embedding of $X$ in $i\left(L\left(X\right)\right)$.

###### Remark

On similar grounds, if $U:\mathrm{AlgLat}\to \mathrm{Set}$ is the forgetful functor, then the 2-image of the projection functor $\pi :\mathrm{Set}↓U\to \mathrm{Set}$ is the category of topological spaces $\mathrm{Top}$. In more nuts-and-bolts terms, an object $\left(S,L,f:S\to U\left(L\right)\right)$ gives a space with underlying set $S$ and open sets those of the form ${f}^{-1}\left(O\right)$, where $O$ ranges over the Scott topology on $L$. Notice that if $\left(f:S\to S\prime ,g:L\to L\prime \right)$ is a morphism in $\mathrm{Set}↓U$, then $f$ is continuous with respect to these topologies. Therefore the projection $\pi :\mathrm{Set}↓U\to \mathrm{Set}$ factors through the faithful forgetful functor $\mathrm{Top}\to \mathrm{Set}$. Thus, working in the factorization system (eso+full, faithful) on $\mathrm{Cat}$, we have a faithful functor $2$-$\mathrm{im}\left(\pi \right)\to \mathrm{Top}$ filling in as the diagonal

$\begin{array}{ccc}\mathrm{Set}↓U& \to & \mathrm{Top}\\ ↓& ↗& ↓\\ 2\text{-}\mathrm{im}\left(\pi \right)& \to & \mathrm{Set}.\end{array}$\array{ Set \downarrow U & \to & Top \\ \downarrow & \nearrow & \downarrow \\ 2\text{-}im(\pi) & \to & Set. }

But notice also that $\mathrm{Set}↓U\to \mathrm{Top}$ is eso and full. It is eso because any topology $𝒪\left(S\right)$ on $S$ can be reconstituted from the triple $\left(S,P\mid 𝒪\left(S\right)\mid ,x↦N\left(x\right):S\to P\mid 𝒪\left(S\right)\mid \right)$. We claim it is full as well. For, every continuous map $X\to X\prime$ between topological spaces induces a continuous map between their ${T}_{0}$ reflections ${X}_{0}\to {X}_{0}\prime$, and since algebraic lattices like $P\mid 𝒪\left(X\right)\mid$ (being continuous lattices) are injective objects in the category of ${T}_{0}$ spaces, we are able to complete to a diagram

$\begin{array}{ccccc}X& \to & {X}_{0}& \to & P\mid 𝒪\left(X\right)\mid \\ ↓& & ↓& & ↓\\ X\prime & \to & {X}_{0}\prime & \to & P\mid 𝒪\left(X\prime \right)\mid \end{array}$\array{ X & \to & X_0 & \to & P{|\mathcal{O}(X)|} \\ \downarrow & & \downarrow & & \downarrow \\ X' & \to & X_{0}' & \to & P{|\mathcal{O}(X')|} }

where the rightmost vertical arrow is Scott-continuous (and the horizontal composites are of the form $x↦N\left(x\right)$). Finally, since $\mathrm{Set}↓U\to \mathrm{Top}$ is eso and full, it follows that $2$-$\mathrm{im}\left(\pi \right)\to \mathrm{Top}$ is eso, full, and faithful, and therefore an equivalence of categories.

This connection is explored in more depth with the category of equilogical spaces, which can be seen either as a category of (set-theoretic) partial equivalence relations over $\mathrm{AlgLat}$, or equivalently of (set-theoretic) total equivalence relations on ${T}_{0}$ topological spaces.

### Relation to locally finitely presentable categories

One of our definitions of algebraic lattice is: a poset $L$ which is locally finitely presentable when viewed as a category. The completeness of $L$ means that right adjoints $L\to \mathrm{Set}$ are representable, given by $L\left(p,-\right):L\to \mathrm{Set}$, and we are particularly interested in those representable functors that preserve filtered colimits. These correspond precisely to finitely presentable objects $p$, which in lattice theory are usually called compact elements. These compact elements are closed under finite joins.

By Gabriel-Ulmer duality, $L$ is determined from the join-semilattice of compact elements $K$ by $L\cong \mathrm{Lex}\left({K}^{\mathrm{op}},\mathrm{Set}\right)$. Since the elements of ${K}^{\mathrm{op}}$ are subterminal, we can also write $L\cong \mathrm{Lex}\left({K}^{\mathrm{op}},2\right)$ where $2=\mathrm{Sub}\left(1\right)$.

###### Theorem

(Porst)

If $C$ is a locally finitely presentable category and $X$ is an object of $C$, then

• The lattice of subobjects $\mathrm{Sub}\left(X\right)$,

• the lattice of quotient objects (equivalence classes of epis sourced at $X$) $\mathrm{Quot}\left(X\right)$,

• the lattice of congruences (internal equivalence relations) on $X$

are all algebraic lattices.

This is due to Porst.

### Completely distributive lattices

###### Proposition

The category of Alexandroff locales is equivalent to that of completely distributive algebraic lattices.

This appears as (Caramello, remark 4.3).

The completely distributive algebraic lattices form a reflective subcategory of that of all distributive lattices. The reflector is called canonical extension.

Locally presentable categories: Large categories whose objects arise from small generators under small relations.

(n,r)-categoriessatisfying Giraud's axiomsinclusion of left exaxt localizationsgenerated under colimits from small objectslocalization of free cocompletiongenerated under filtered colimits from small objects
(0,1)-category theory(0,1)-toposes$↪$algebraic lattices$\simeq$ Porst’s theoremsubobject lattices in accessible reflective subcategories of presheaf categories
category theorytoposes$↪$locally presentable categories$\simeq$ Adámek-Rosický’s theoremaccessible reflective subcategories of presheaf categories$↪$accessible categories
model category theorymodel toposes$↪$combinatorial model categories$\simeq$ Dugger’s theoremleft Bousfield localization of global model structures on simplicial presheaves
(∞,1)-topos theory(∞,1)-toposes$↪$locally presentable (∞,1)-categories$\simeq$
Simpson’s theorem
accessible reflective sub-(∞,1)-categories of (∞,1)-presheaf (∞,1)-categories$↪$accessible (∞,1)-categories

## References

The relation to locally finitely presentable categories is discussed in

• Hans Porst, Algebraic lattices and locally finitely presentable categories (pdf)

Revised on October 15, 2012 18:06:54 by Urs Schreiber (82.113.99.246)