3 papers
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…
math.CT2023
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…
math.CT2023
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…