8 citations · 9 across the 2 of their papers we have counts for
4 papers
Monoidal Streams for Dataflow Programming
Elena Di Lavore, Giovanni de Felice, Mario Román
We introduce monoidal streams: a generalization of causal stream functions to monoidal categories. In the same way that streams provide semantics to dataflow programming with pure…
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.
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…