2 citations · 3 across the 5 of their papers we have counts for
Showing 2023 · math.CTShow all
3 papers · 2 filters
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★ 1 cited
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★ 2 cited
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…