Structure-semantics relation for non-varietal equational theories. (English) Zbl 0444.18004


18C10 Theories (e.g., algebraic theories), structure, and semantics
03C05 Equational classes, universal algebra in model theory
08C05 Categories of algebras
18C05 Equational categories
Full Text: DOI


[1] J. R. Isbell,General functorial semantics I, Amer. J. Math. XCIV (1972), 535–596. · Zbl 0439.18009
[2] F. E. J. Linton,Applied functorial semantics, 1, Annali di Mat. Pura ed Appl. LXXXVI (1970), 1–14. · Zbl 0231.18009
[3] F. E. J. Linton,Some aspects of equational categories, Proc. Conference Categorical Algebra La Jolla 1965, Springer 1966, 84–94.
[4] L. Polák andJ. Rosický,Implicit polynomials, to appear.
[5] J. Rosický,On algebraic categories, to appear in Proceedings of the Colloquium on Universal algebra, Esstergom 1977.
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.