This is analogous to the shift and reset operators from delimited continuations. It's also analogous to branching and cancelation from Chu spaces or the idea of

This is analogous to the shift and reset operators from delimited continuations. It's also analogous to branching and cancelation from Chu spaces or the idea of adjoint and norm. I've been thinking about this a bunch. I put together a brain dump that I improve over time http://github.com/adamnemecek/adjoint http://github.com/adamnemecek/adjoint.