Classical notions of computation and the Hasegawa-Thielecke theorem (Mangel, Melliès, Munch-Maccagnoni, 2025)

@article{mangel2025classical,
  title={Classical notions of computation and the Hasegawa-Thielecke theorem},
  author={Mangel, {\'E}l{\'e}onore and Melli{\`e}s, Paul-Andr{\'e} and Munch-Maccagnoni, Guillaume},
  journal={arXiv preprint arXiv:2502.13033},
  year={2025}
}

See also.

• linear and thunkable maps
• call-by-value and call-by-name, kleisli and cokleisli
• collage of an adjunction
• failure of associativity on an adjunction collage
• non-associative category
• two compositions on the collage of an adjunction