19 citations · 61 across the 10 of their papers we have counts for
6 papers · 1 filter
Span(Graph): a Canonical Feedback Algebra of Open Transition Systems
Elena Di Lavore, Alessandro Gianola, Mario Román +2
We show that Span(Graph)*, an algebra for open transition systems introduced by Katis, Sabadini and Walters, satisfies a universal property. By itself, this is a justification of t…
Functorial Language Games for Question Answering
Giovanni de Felice, Elena Di Lavore, Mario Román +1
We present some categorical investigations into Wittgenstein's language-games, with applications to game-theoretic pragmatics and question-answering in natural language processing.
Open Diagrams via Coend Calculus
Mario Román
Morphisms in a monoidal category are usually interpreted as processes, and graphically depicted as square boxes. In practice, we are faced with the problem of interpreting what non…
Comb Diagrams for Discrete-Time Feedback
Mario Román
The data for many useful bidirectional constructions in applied category theory (optics, learners, games, quantum combs) can be expressed in terms of diagrams containing "holes" or…
Profunctor optics and traversals
Mario Román
Optics are bidirectional accessors of data structures; they provide a powerful abstraction of many common data transformations. This abstraction is compositional thanks to a repres…
Profunctor Optics, a Categorical Update
Bryce Clarke, Derek Elkins, Jeremy Gibbons +4
Optics are bidirectional data accessors that capture data transformation patterns such as accessing subfields or iterating over containers. Profunctor optics are a particular choic…