22 citations · 103 across the 26 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.GT2017
Morphisms of open games
Jules Hedges
We define a notion of morphisms between open games, exploiting a surprising connection between lenses in computer science and compositional game theory. This extends the more intui…
math.CT2017★ 16 cited
Coherence for lenses and open games
Jules Hedges
Categories of polymorphic lenses in computer science, and of open games in compositional game theory, have a curious structure that is reminiscent of compact closed categories, but…