Showing math.CTShow all
2 papers · 1 filter
math.CT2024
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 $\…
math.CT2023
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…