John Carlos Baez on Nostr: - Most of it was easy for me to read; it got hard here and I gave up: We want to be ...

- Most of it was easy for me to read; it got hard here and I gave up:

We want to be able to reconstruct H given f and E. We have explored the idea of reversing the cell in the definition of a restriction using a cartesian square. Here, the square is cartesian if, for an arbitrary horizontal arrow L and two vertical arrows h and k, the following 2-cell factorizes through \xi.

I guess it's a mixture of needing to read your reference back to an earlier post and not wanting to, together with not understanding the diagram - that is, not understand what it's trying to do.