2 papers
cs.LO2019
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
Robin Kaarsgaard
In flowchart languages, predicates play an interesting double role. In the textual representation, they are often presented as conditions, i.e., expressions which are easily combin…
math.CT2019
Inversion, Iteration, and the Art of Dual Wielding
Robin Kaarsgaard
The humble ("dagger") is used to denote two different operations in category theory: Taking the adjoint of a morphism (in dagger categories) and finding the least fixed p…