Varietors and machines in a category

DOI10.1007/BF02483826zbMath0491.18003OpenAlexW1977646222MaRDI QIDQ1167265

Věra Trnková, Jiří Adámek

Publication date: 1981

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02483826

zbMATH Keywords

free algebrasendofunctormachinecolimitscategorical modelmonadic algebrascategorical theory of automataEilenberg-Wright automatainitial machine

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Categories of algebras (08C05) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categories of machines, automata (18B20)

Related Items (1)

Equational logic of circular data type specification

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Least fixed point of a functor
• Realization theory for automata in categories
• Categorical constructions of free algebras, colimits, and completions of partial algebras
• Factor categories of the category of sets: description and concreteness
• On the Cogeneration of Algebras
• A set functor which commutes with all homfunctors is a homfunctor
• Cogeneration of algebras in regular categories
• Colimits of algebras revisited
• Large algebraic theories with small algebras

This page was built for publication: Varietors and machines in a category