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

- All Categories 2.4K
- Chat 505
- Study Groups 21
- Petri Nets 9
- Epidemiology 4
- Leaf Modeling 2
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- Baez ACT 2019: Online Course 339
- Baez ACT 2019: Lectures 79
- Baez ACT 2019: Exercises 149
- Baez ACT 2019: Chat 50
- UCR ACT Seminar 4
- General 75
- Azimuth Code Project 111
- Statistical methods 4
- Drafts 10
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 148
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 719

Options

*Revision history:*

*- 2018 06 18: Removed an unhelpful paragraph.*

*- 2018 05 26 : First version.*

## Comments

`![picture](https://i.imgur.com/qTEaVos.png)`

I find that the "light cone" visualization helps to fix some of the inconsistencies:

This uses the Hasse diagram "smaller on bottom" order, but remains consistent with the standard symbols for "meet" and "join": the future light cone looks like a \(\vee\) for "least upper bound", and the past light cone looks like a \(\wedge\) for "greatest lower bound"). I still have to remember which symbol goes with which word, but things aren't quite so inconsistent from here.

(In other words, I don't interpret \(\vee\) and \(wedge\) as arrows, but as cones of light emanating from a flashlight. Think about the negative space around the symbol, rather than the symbol itself!)

This comes down to the defining property, where if "f" is a left adjoint to "g", then "f" appears on the

leftof the \(\le\): \(f(x) \le y \Leftrightarrow x \le g(y)\).`I find that the ["light cone"](https://en.wikipedia.org/wiki/Light_cone) visualization helps to fix some of the inconsistencies: <center>![](https://upload.wikimedia.org/wikipedia/commons/thumb/1/16/World_line.svg/470px-World_line.svg.png)</center> This uses the Hasse diagram "smaller on bottom" order, but remains consistent with the standard symbols for "meet" and "join": the future light cone looks like a \\(\vee\\) for "least upper bound", and the past light cone looks like a \\(\wedge\\) for "greatest lower bound"). I still have to remember which symbol goes with which word, but things aren't quite so inconsistent from here. (In other words, I don't interpret \\(\vee\\) and \\(wedge\\) as arrows, but as cones of light emanating from a flashlight. Think about the negative space around the symbol, rather than the symbol itself!) > I had a lousy time trying to memorize what made a "left adjoint" different from a "right adjoint". This comes down to the defining property, where if "f" is a left adjoint to "g", then "f" appears on the _left_ of the \\(\le\\): \\(f(x) \le y \Leftrightarrow x \le g(y)\\).`