bimodular automata

Bimodular automata form a bicategory of bimodular automata.

• Feedback category, Automata.