non-associative category

Last updated Feb 25, 2025

References.

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