A Categorical Characterization of General Automata

摘要: Let A ′ be a category of input objects and output objects. Assume that has limits colimits; then, the behavior every diagram in abstract machines ( ′, ) over connected scheme can recorded its limit. Thus, theory limit preserving functors describes interconnections between various traits total system exhibits. Hence, “the systems theorist is told” what jobs an arbitrary do for given system.