bicategory of bimodular automata

Last updated Feb 3, 2024

The bicategory of bimodular automata is similar to the bicategories of processes of Katis, Sabadini and Walters.