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.
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.
Version 2.1.8p2
