#### Howdy, Stranger!

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

Options

# PetePics Chapter 1 - Galois connection non-bijectiveness

edited May 2018

Picture index

In writing these proofs, I found it quite convenient to have given names to the 1-hop, 2-hop etc. formulas in my earlier posts.

References to earlier posts: 1-hop constraint, 2-hop inequality, 3-hop equivalence, 4-hop fixed point.

• Options
1.

Comment Source:![picture](https://i.imgur.com/1eoPGy4.png)
• Options
2.

I think most of this can be generalized to adjoint functors.

Comment Source:I think most of this can be generalized to adjoint functors.
• Options
3.

Hi Christopher, thanks for the note. I'm just getting to Chapter 3 now, so I look forward to learning how all this stuff fits into the larger scheme of things!

Comment Source:Hi Christopher, thanks for the note. I'm just getting to Chapter 3 now, so I look forward to learning how all this stuff fits into the larger scheme of things!