2 citations · 3 across the 5 of their papers we have counts for
5 papers
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…
Di- is for Directed: First-Order Directed Type Theory via Dinaturality
Andrea Laretto, Fosco Loregian, Niccolò Veltri
We show how dinaturality plays a central role in the interpretation of directed type theory where types are interpreted as (1-)categories and directed equality is represented by $\…
The semibicategory of Moore automata
Guido Boccali, Bojana Femić, Andrea Laretto +2
We study the semibicategory of "Moore automata": an arrangement of objects, 1- and 2-cells which is inherently and irredeemably nonunital in dimension one. Between t…
Completeness for categories of generalized automata
Guido Boccali, Andrea Laretto, Fosco Loregian +1
We present a slick proof of completeness and cocompleteness for categories of -automata, where the span of maps that usually defines a determinist…
Bicategories of Automata, Automata in Bicategories
Guido Boccali, Andrea Laretto, Fosco Loregian +1
We study bicategories of (deterministic) automata, drawing from prior work of Katis-Sabadini-Walters, and Di Lavore-Gianola-Román-Sabadini-Sobociński, and linking their bicategorie…