Zulip Chat Archive

Stream: maths

Topic: Pseudo-lattice?


view this post on Zulip Adam Topaz (Apr 09 2021 at 17:55):

Is there a name for the following concept: A partially ordered set X in which every two elements have a join, which satisfies the usual axioms of a join (i.e. A join B is leq to both A and B, and is monotone in both variables).

view this post on Zulip Bryan Gin-ge Chen (Apr 09 2021 at 17:56):

docs#semilattice_sup ?

view this post on Zulip Adam Topaz (Apr 09 2021 at 17:58):

Yeah that looks right (except I mixed up join and meet, so I really want a docs#semilattice_inf )

view this post on Zulip Bryan Gin-ge Chen (Apr 09 2021 at 17:58):

Ha, I had to look up which one was join too.


Last updated: May 18 2021 at 08:14 UTC