It looks like you're new here. If you want to get involved, click one of these buttons!
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.
I think most of this can be generalized to adjoint functors.
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!