×

Universal coalgebra and categories of transition systems. (English) Zbl 0191.01203


PDFBibTeX XMLCite
Full Text: DOI

References:

[1] M. Barr andJ. Beck, Acyclic models and triples,Proc. Conference on Categorical Algebra, Springer, 1966, 336–343. · Zbl 0201.35403
[2] R. Davis, Abstract universal algebra, Dissertation, Tulane University, 1967.
[3] R. Davis, Equational systems of functors, Springer Lecture Notes in Math., No. 47, 92-109. · Zbl 1375.18002
[4] F. W. Lawvere, Functional semantics of algebraic theories, Dissertation, Columbia University, 1963. · Zbl 0119.25901
[5] F. Linton, Some aspects of equational categories,Proc. Conference on Categorical Algebra, Springer, 1966, 84–94. · Zbl 0201.35003
[6] E. Manes, A triple miscellany: Some aspects of the theory of algebras over a triple, Dissertation, Wesleyan University, 1967.
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.