18 citations · 40 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 6 cited
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★ 4 cited
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…