Author: John Baez Format: MarkdownItexAdded material on the free join-semilattice on a poset.
<a href="https://ncatlab.org/nlab/revision/diff/semilattice/12">diff</a>, <a href="https://ncatlab.org/nlab/revision/semilattice/12">v12</a>, <a href="https://ncatlab.org/nlab/show/semilattice">current</a>
Added material on the free join-semilattice on a poset.
Author: Sam Staton Format: MarkdownItexRemark that "To give a finitely generated downset is to give an antichain."
<a href="https://ncatlab.org/nlab/revision/diff/semilattice/13">diff</a>, <a href="https://ncatlab.org/nlab/revision/semilattice/13">v13</a>, <a href="https://ncatlab.org/nlab/show/semilattice">current</a>
Remark that “To give a finitely generated downset is to give an antichain.”
Author: John Baez Format: MarkdownItexAdded some stuff on semilattices as $Bool$-modules.
<a href="https://ncatlab.org/nlab/revision/diff/semilattice/16">diff</a>, <a href="https://ncatlab.org/nlab/revision/semilattice/16">v16</a>, <a href="https://ncatlab.org/nlab/show/semilattice">current</a>