41 citations · 136 across the 32 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
math.CT2025
Two-dimensional transducers
Fosco Loregian
We define a bicategory whose 1-cells provide a categorification of transducers, computational devices extending finite-state automata with output capabilities. This…
cs.LO2025
Doctrinal Semantics of Directed First-Order Logic
Andrea Laretto, Fosco Loregian, Niccolò Veltri
We present a first-order logic equipped with an "asymmetric" directed notion of equality, which can be thought of as rewrites between terms, allowing for types to be interpreted as…
math.CT2025
Monads and limits in bicategories of circuits
Fosco Loregian
We study monads in the (pseudo-)double category where loose arrows are Mealy automata valued in an ambient monoidal category , and the cate…