Fibre optics

  title={Fibre optics},
  author={Dylan Braithwaite and Matteo Capucci and Bruno Gavranovi'c and Jules Hedges and Eigil Fjeldgren Rischel},

Figures from this paper


Escrows are optics
Abstract We provide a categorical interpretation for escrows, i.e. trading protocols in trustless environment, where the exchange between two agents is mediated by a third party where the buyer locks
Profunctor optics, a categorical update
This work generalizes a classic result by Pastro and Street on Tambara theory and uses it to describe mixed V-enriched profunctor optics and to endow them with V-category structure.
Framed bicategories and monoidal fibrations
In some bicategories, the 1-cells are `morphisms' between the 0-cells, such as functors between categories, but in others they are `objects' over the 0-cells, such as bimodules, spans, distributors,
Profunctor Optics: Modular Data Accessors
A framework for modular data access is presented, in which individual data accessors for simple data structures may be freely combined to obtain more complex data accessor for compound data structures, based around the notion of profunctors, a flexible generalization of functions.
Poly: An abundant categorical setting for mode-dependent dynamics
Dynamical systems---by which we mean machines that take time-varying input, change their state, and produce output---can be wired together to form more complex systems. Previous work has shown how to
The simplicial interpretation of bigroupoid 2-torsors
Actions of bicategories arise as categorification of actions of categories. They appear in a variety of different contexts in mathematics, from Moerdijk's classification of regular Lie groupoids in
Categories of Containers
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers have good closure
Bayesian open games
This paper generalises the treatment of compositional game theory as introduced by the second and third authors with Ghani and Winschel, where games are modelled as morphisms of a symmetric monoidal category, especially the 'coend optics' of Riley.
Translating Extensive Form Games to Open Games with Agency
It is shown open games cover extensive form games with both perfect and imperfect information, and choice operators are constructed that increase the level of compositionality of open games, and demonstrate their expressiveness.
Coend calculus.