@jwrigley Hi, thanks for writing this! Yes, I believe this adjunction perspective is really important for categorical logic. I think my previous con...

@jens-hemelaer Hi, thanks for your answer! Yes, that should be how you derive it. The double rule here is somehow unusual than other proof systems ...

@jwrigley Hi Joshua, Thanks very much for your detailed reply! It's very insightful and helpful, and makes me to think about a couple of more poin...

@ocaramello Thanks very much for your reply Prof. Caramello! The materials you sent are very helpful, and I also plan to start reading more of your ...