22 citations · 103 across the 26 of their papers we have counts for
6 papers · 1 filter
Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences
Martha Lewis, Bob Coecke, Jules Hedges +2
The ability to compose parts to form a more complex whole, and to analyze a whole as a combination of elements, is desirable across disciplines. This workshop bring together resear…
Sequential games and nondeterministic selection functions
Joe Bolt, Jules Hedges, Philipp Zahn
This paper analyses Escardó and Oliva's generalisation of selection functions over a strong monad from a game-theoretic perspective. We focus on the case of the nondeterminism (fin…
Limits of bimorphic lenses
Jules Hedges
Bimorphic lenses are a simplification of polymorphic lenses that (like polymorphic lenses) have a type defined by 4 parameters, but which are defined in a monomorphic type system (…
Towards Functorial Language-Games
Jules Hedges, Martha Lewis
In categorical compositional semantics of natural language one studies functors from a category of grammatical derivations (such as a Lambek pregroup) to a semantic category (such…
Backward Induction for Repeated Games
Jules Hedges
We present a method of backward induction for computing approximate subgame perfect Nash equilibria of infinitely repeated games with discounted payoffs. This uses the selection mo…
The algebra of predicting agents
Joe Bolt, Jules Hedges, Viktor Winschel
The category of open games, which provides a strongly compositional foundation of economic game theory, is intermediate between symmetric monoidal and compact closed. More precisel…