Fetching the paper…
Reading the bibliography…
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 differs in some crucial ways.
Theory of games and economic behaviour
John von Neumann and Oskar Morgenstern · 1944
Earlier work this paper cites.
Coherence for compact closed categories
G. M. Kelly and M. L. Laplaza · 1980
Earlier work this paper cites.
Planar diagrams and tensor algebra
André Joyal and Ross Street · 1988
Earlier work this paper cites.
The dialectica categories
Valeria de Paiva · 1991
Earlier work this paper cites.
The geometry of tensor calculus I
André Joyal and Ross Street · 1991
Earlier work this paper cites.
Categorical logic and type theory
Bart Jacobs · 1999
Earlier work this paper cites.
Abstract scalars, loops, and free traced and strongly compact closed categories
Samson Abramsky · 2005
Earlier work this paper cites.
The topology of the 2 × 2 2\times 2 games: A new periodic table
David Goforth and David Robinson · 2005
Earlier work this paper cites.
Functorial boxes in string diagrams
Paul-André Melliès · 2006
Earlier work this paper cites.
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
Nate Foster, Michael Greenwald, Jonathan Moore, Benjamin Pierce, and Alan Schmidt · 2007
Cited alongside, same era.
Framed bicategories and monoidal fibrations
Michael Shulman · 2008
Cited alongside, same era.
Symmetric lenses
Martin Hofmann, Benjamin Pierce, and Daniel Wagner · 2011
Cited alongside, same era.
Lenses, fibrations and universal transformations
Michael Johnson, Robert Rosebrugh, and R. J. Wood · 2011
Cited alongside, same era.
A survey of graphical languages for monoidal categories
Peter Selinger · 2011
Cited alongside, same era.
Three complementary approaches to bidirectional programming
Nate Foster, Kazutaka Matsuda, and Janis Voigtländer · 2012
Cited alongside, same era.
Notions of bidirectional computation and entangled state monads
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens · 2015
Later among the works it cites.
Towards compositional graph theory
Apiwat Chantawibul and Paweł Sobociński · 2015
Later among the works it cites.
Aristotle on causality. In The Stanford Encyclopedia of Philosophy
Andrea Falcon · 2015
Later among the works it cites.
The algebra of open and interconnected systems
Brendan Fong · 2016
Later among the works it cites.
A compositional approach to economic game theory
Neil Ghani, Jules Hedges, Viktor Winschel, and Philipp Zahn · 2016
Later among the works it cites.
Towards compositional game theory
Jules Hedges · 2016
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Geometry of abstraction in quantum computation
Dusko Pavlovic · 2012
Cited alongside, same era.
Causal categories: Relativistically interacting processes
Bob Coecke and Raymond Lal · 2013
Cited alongside, same era.
Spans of lenses
Michael Johnson and Robert Rosebrugh · 2014
Cited alongside, same era.
Lenses over tea [online]
Artyom Kazak
Cited in the paper.
Picturing quantum processes
Bob Coecke and Aleks Kissinger · 2017
Closest in time.
Profunctor optics: Modular data accessors
Matthew Pickering, Jeremy Gibbons, and Nicolas Wu · 2017
Closest in time.