A duality between exceptions and states
The short note proves a categorical duality between the handling of exceptions and the structure of states in an imperative language, once the control is dissociated from the elementary operation that recovers from exceptions. Both are defined through commutativity of certain diagrams which are formally dual in a categorical sense.
scientific article; zbMATH DE number 6078318