(0,1)-category

(0,1)-topos

Contents

Definition

A completely distributive lattice is a

Properties

Algebraic lattices

Proposition

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

This appears as (Caramello, remark 4.3).

References

Created on March 15, 2012 17:03:46 by Urs Schreiber (82.169.65.155)