Category: Aut

Aut is the category whose objects are regular (Moore) automata and arrows are simulations.

Facts Derived from Enrichment

(Aut doesn't seem to have any notable subcategories.)

Limits

Colimits

categories: Aut

This data as json

name objects_hr arrows_hr
Aut regular (Moore) automata simulations

Links from other tables