## Algebraic Lattices

Abbreviation: ALat

### Definition

An \emph{algebraic lattice} is a complete lattice $\mathbf{A}=\langle A,\bigvee,\bigwedge\rangle$ such that every element is a join of compact elements.

An element $c\in A$ is \emph{compact} if for every subset $S\subseteq A$ such that $c\le\bigvee S$, there exists a finite subset $S_0$ of $S$ such that $c\le\bigvee S_0$.

##### Morphisms

Let $\mathbf{A}$ and $\mathbf{B}$ be algebraic lattices. A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:A\rightarrow B$ that is a complete homomorphism:

$h(\bigvee S)=\bigvee h[S] \mbox{ and } h(\bigwedge S)=\bigwedge h[S]$

Example 1:

### Properties

Classtype second-order yes yes yes

### Superclasses

##### QR Code
{"ft_lang_label":"__label__en","ft_lang_prob":0.6021096,"math_prob":0.99968445,"size":806,"snap":"2022-40-2023-06","text_gpt3_token_len":275,"char_repetition_ratio":0.12468828,"word_repetition_ratio":0.0,"special_character_ratio":0.25558314,"punctuation_ratio":0.07042254,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999833,"pos_list":[0,1,2,3,4],"im_url_duplicate_count":[null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-01-28T09:38:00Z\",\"WARC-Record-ID\":\"<urn:uuid:7fbf1cdb-b65f-4863-a2ec-a3e230fa2ac9>\",\"Content-Length\":\"15814\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:0d59263e-5154-4471-9934-3db9b6d71101>\",\"WARC-Concurrent-To\":\"<urn:uuid:3206bfd0-a56c-483a-98b6-236b5cc3559b>\",\"WARC-IP-Address\":\"192.77.116.236\",\"WARC-Target-URI\":\"https://mathcs.chapman.edu/~jipsen/structures/doku.php?id=algebraic_lattices\",\"WARC-Payload-Digest\":\"sha1:ND5XNIDB7NRDFYOW5PG6V5S22B2CC22D\",\"WARC-Block-Digest\":\"sha1:W5QOXUUEMSCGENSHJL5RN4NKNSIY6IWI\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-06/CC-MAIN-2023-06_segments_1674764499541.63_warc_CC-MAIN-20230128090359-20230128120359-00110.warc.gz\"}"}