Matricial theories. (English) Zbl 0361.18004


18C10 Theories (e.g., algebraic theories), structure, and semantics
18C15 Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
18B20 Categories of machines, automata
Full Text: DOI


[1] Mitchell, B., Theory of Categories (1965), Academic Press: Academic Press New York/London · Zbl 0136.00604
[2] Elgot, C. C., (Rose, H. E.; Shepherdson, J. C., Logic Colloquium ’73. Logic Colloquium ’73, Monadic computation and iterative algebraic theories, IBM Research Report RC 4564 (1973) (1975), North Holland)
[3] Elgot, C. C., The common algebraic structure of exit-automata and machines, Computing, 6, 3-4 (1970) · Zbl 0264.94033
[4] Eilenberg, S.; Wright, J. B., Automata in general algebras, Inform. Contr., 11 (1967) · Zbl 0175.27902
[5] Johnson, J. S.; Manes, E. G., On modules over a semiring, J. Algebra, 15, 57-67 (1970) · Zbl 0217.34302
[6] Lawvere, F. W., Functorial semantics of algebraic theories, (Proc. Nat. Acad. Sci., 50 (1963)), 869-872 · Zbl 0119.25901
[7] Lawvere, F. W., Some algebraic problems in the context of functorial semantics of algebraic theories, (Reports of the Midwest Category Seminar, Vol. II (1968), Springer-Verlag: Springer-Verlag New York/Berlin) · Zbl 0119.25901
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.