References. Classical notions of computation and the Hasegawa-Thielecke theorem (Mangel, Melliès, Munch-Maccagnoni, 2025) Tags: collage of an adjunction, adjunction, duploid.
