two compositions on the collage of an adjunctionLast updated Mar 5, 2025ReferencesClassical notions of computation and the Hasegawa-Thielecke theorem (Mangel, Melliès, Munch-Maccagnoni, 2025)