Algebras with actions and automata

W. Kühnel, M. Pfender, J. Meseguer and I. Sols

International Journal of Mathematics and Mathematical Sciences, 1982, vol. 5, 1-25

Abstract:

In the present paper we want to give a common structure theory of left action, group operations, R -modules and automata of different types defined over various kinds of carrier objects: sets, graphs, presheaves, sheaves, topological spaces (in particular: compactly generated Hausdorff spaces). The first section gives an axiomatic approach to algebraic structures relative to a base category B , slightly more powerful than that of monadic (tripleable) functors. In section 2 we generalize Lawveres functorial semantics to many-sorted algebras over cartesian closed categories. In section 3 we treat the structures mentioned in the beginning as many-sorted algebras with fixed scalar or input object and show that they still have an algebraic (or monadic) forgetful functor (theorem 3.3) and hence the general theory of algebraic structures applies. These structures were usually treated as one-sorted in the Lawvere-setting, the action being expressed by a family of unary operations indexed over the scalars. But this approach cannot, as the one developed here, describe continuity of the action (more general: the action to be a B -morphism), which is essential for the structures mentioned above, e.g. modules for a sheaf of rings or topological automata. Finally we discuss consequences of theorem 3.3 for the structure theory of various types of automata. The particular case of algebras with fixed natural numbers object has been studied by the authors in [23].

Date: 1982
References: Add references at CitEc
Citations:

Downloads: (external link)
http://downloads.hindawi.com/journals/IJMMS/5/152124.pdf (application/pdf)
http://downloads.hindawi.com/journals/IJMMS/5/152124.xml (text/xml)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hin:jijmms:152124

DOI: 10.1155/S0161171282000076

Access Statistics for this article

More articles in International Journal of Mathematics and Mathematical Sciences from Hindawi
Bibliographic data for series maintained by Mohamed Abdelhakeem ().