› ›
Options

PetePics Chapter 1 - Galois connection non-bijectiveness

Pete Morcos
edited May 2018 in Baez ACT 2019: Chat

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

  • Options
    1.
    Pete Morcos

    picture

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

    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.
    Pete Morcos

    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.