Options

PetePics Chapter 1 - Galois connection non-bijectiveness

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.

Comments

  • 1.

    picture

    Comment Source:![picture](https://i.imgur.com/1eoPGy4.png)
  • 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.
  • 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!
Sign In or Register to comment.