research
∙
05/04/2023
Optics for Premonoidal Categories
We further the theory of optics or "circuits-with-holes" to encompass pr...
share
research
∙
01/30/2023
Evidential Decision Theory via Partial Markov Categories
We introduce partial Markov categories. In the same way that Markov cate...
research
∙
01/27/2023
The Produoidal Algebra of Process Decomposition
We introduce the normal produoidal category of monoidal contexts over an...
research
∙
12/30/2022
Coinductive Streams in Monoidal Categories
We introduce monoidal streams. Monoidal streams are a generalization of ...
research
∙
05/16/2022
Promonads and String Diagrams for Effectful Categories
Premonoidal and Freyd categories are both generalized by non-cartesian F...
research
∙
05/02/2022
Cornering Optics
We show that the category of optics in a monoidal category arises natura...
research
∙
02/04/2022
Monoidal Streams for Dataflow Programming
We introduce monoidal streams: a generalization of causal stream functio...
research
∙
10/20/2020
A canonical algebra of open transition systems
Feedback and state are closely interrelated concepts. Categories with fe...
research
∙
05/19/2020
Functorial Language Games for Question Answering
We present some categorical investigations into Wittgenstein's language-...
research
∙
04/09/2020
Open Diagrams via Coend Calculus
Morphisms in a monoidal category are usually interpreted as processes, a...
research
∙
04/09/2020
Coend Calculus and Open Diagrams
Morphisms in a monoidal category are usually interpreted as processes or...
research
∙
03/13/2020
Comb Diagrams for Discrete-Time Feedback
The data for many useful bidirectional constructions in applied category...
research
∙
01/22/2020
Profunctor optics and traversals
Optics are bidirectional accessors of data structures; they provide a po...
research
∙
01/21/2020