It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.3K
- Programming with Categories Course 33
- Exercises - Programming with Categories Course 21
- Mini-Talks - Programming with Categories Course 3
- Applied Category Theory Course 341
- Applied Category Theory Seminar 4
- Exercises - Applied Category Theory Course 149
- Discussion Groups 50
- How to Use MathJax 15
- Chat 487
- Azimuth Code Project 108
- News and Information 147
- Azimuth Blog 149
- Azimuth Forum 29
- Azimuth Project 189
- - Strategy 108
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 711
- - Latest Changes 701
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 21
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 42

Options

Now that we're about to dip our toe into the sea of logic, it's good to do an exercise involving the **Booleans**:

$$ \mathbf{Bool} = \{ \textrm{true}, \textrm{false} \} . $$ This set becomes a poset where \(\textrm{false}\leq\textrm{false}\), \(\textrm{false}\leq\textrm{true}\), and \(\textrm{true}\leq\textrm{true}\), but \(\textrm{true}\not\leq\textrm{false}\). In other words \(A\leq B\) in the poset if \(A\) implies \(B\), often denoted \(A\implies B\).

In any poset \(A \vee B\) stands for the **join** of \(A\) and \(B\): the least element of the poset that is greater than both \(A\) and \(B\). The join may not exist, but it is unique.

In the poset \(\mathbb{B}\), what is

\(\textrm{true} \vee \textrm{false}\)?

\(\textrm{false} \vee \textrm{true}\)?

\(\textrm{true} \vee \textrm{true}\)?

\(\textrm{false} \vee \textrm{false}\)?

## Comments

This does not appear to be formatting correctly... try:

`\text{true}`

and`\text{false}`

?`This does not appear to be formatting correctly... try: <code>\text{true}</code> and <code>\text{false}</code>?`

Done.

`Done.`

We've been working out lots of "meets", or "least upper bounds", so it's good to emphasize that they don't always exist!

Puzzle 26.What is the simplest poset that contains two elements \(x\) and \(y\) that have no least upper bound?Puzzle 27.What is the simplest poset that contains a subset that has no least upper bound?`We've been working out lots of "meets", or "least upper bounds", so it's good to emphasize that they don't always exist! **Puzzle 26.** What is the simplest poset that contains two elements \\(x\\) and \\(y\\) that have no least upper bound? **Puzzle 27.** What is the simplest poset that contains a subset that has no least upper bound?`

Hi John Baez, where above you wrote \( A \vee B \) means the meet, did you mean, means the join?

`Hi [John Baez](https://forum.azimuthproject.org/profile/17/John%20Baez), where above you wrote \\( A \vee B \\) means the meet, did you mean, means the join?`

Yes, I meant "join", and I will fix this. I often mix up the words "meet" and "join" because in ordinary language the mean similar things. I find it easier to remember "greatest lower bound" and "least upper bound", or "inf" and "sup".

`Yes, I meant "join", and I will fix this. I often mix up the words "meet" and "join" because in ordinary language the mean similar things. I find it easier to remember "greatest lower bound" and "least upper bound", or "inf" and "sup".`

Re. #5 I always remember the Open Systems Interconnect layers as PuDiN TSPA.

Q. Are these mnemonics correct even if not useful?

`Re. #5 I always remember the Open Systems Interconnect layers as PuDiN TSPA. Q. Are these mnemonics correct even if not useful? * Meet up (^) and greatest intersect (MUAGI). * Join down (v) or least disjunct (JDOLD).`

Jim: the great

antimnemonicis this picture:The meet \(\wedge\) is at the bottom and the join \(\vee\) is at the top, exactly opposite from how their symbols look!

`Jim: the great _antimnemonic_ is this picture: <center><img src = "https://upload.wikimedia.org/wikipedia/commons/thumb/8/8b/Join_and_meet.svg/500px-Join_and_meet.svg.png"></center> The meet \\(\wedge\\) is at the bottom and the join \\(\vee\\) is at the top, exactly opposite from how their symbols look!`

Lol. :)

`Lol. :)`

For me it's mnemonic*; I think of the Meet (Join) symbol as pointing up (down) to the elements in the subset (and the up-arrow occurs twice in M, while the down-arrow is vaguely J-shaped).

*I hope this doesn't cancel w/ the anti-mnemonic; you should probably try to forget at least one of these:-)

`For me it's mnemonic*; I think of the Meet (Join) symbol as pointing up (down) to the elements in the subset (and the up-arrow occurs twice in M, while the down-arrow is vaguely J-shaped). *I hope this doesn't cancel w/ the anti-mnemonic; you should probably try to forget at least one of these:-)`

I think of it as diving crocodile and soaring crocodile. :)

`I think of it as diving crocodile and soaring crocodile. :)`