Duality Between Formal Description of Program Construction and Program Behaviour
Daniel Mihályi · 2010
Symmetry between the construction of programs and generating their behaviour can be properly formulated in terms of category theory by using significant property of duality. On one hand, this consists of the algebraic construction of static data structures and relations between them (programs) and on the other hand it consists of the coalgebraic generating of dynamic behavioural structures of program systems.