![Define](http://aether.co.kr/images/grand_synthesis_define.svg)

![Grand Synthesis](http://aether.co.kr/images/grand_synthesis.svg)

Not sure if this is what Prof. Baez is saying when he says :

>Left adjoints preserve joins, and monotone functions that preserve enough joins are left adjoints.

>Right adjoints preserve meets, and monotone functions that preserve enough meets are right adjoints.

>Joins are left adjoints, and meets are right adjoints.

>Left adjoints are right adjoints seen upside-down, and joins are meets seen upside-down.

But I tried connect the dots...
It almost seems too good to be true.