4 citations · 10 across the 6 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.CT2019
Foundations of brick diagrams
Jules Hedges, Jelle Herold
We discuss the foundations of 2-dimensional graphical languages, with a view towards their computer implementation in a 'compiler' for monoidal categories. In particular, we discus…
cs.GT2019
The game semantics of game theory
Jules Hedges
We use a reformulation of compositional game theory to reunite game theory with game semantics, by viewing an open game as the System and its choice of contexts as the Environment.…
math.CT2019★ 2 cited
From open learners to open games
Jules Hedges
The categories of open learners (due to Fong, Spivak and Tuyéras) and open games (due to the present author, Ghani, Winschel and Zahn) bear a very striking and unexpected similarit…