Hostname: page-component-8448b6f56d-m8qmq Total loading time: 0 Render date: 2024-04-19T01:07:04.296Z Has data issue: false hasContentIssue false
  • English
  • Français

Lambek's operational categories

Published online by Cambridge University Press:  17 April 2009

C. B. Jay
C. B. Jay
Affiliation:
Department of Pure Mathematics, University of Sydney, N.S.W. 2006, Australia.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

An operational category is a category of models for an equational theory where the interpretation of some operations is predetermined. Examples include the equational and co-equational categories of Linton, categories of functors preserving some class of limits, and algebras for a prop as defined by MacLane. The chief result is a characterisation of the operational categories and functors in terms of their internal structure.

Type
Research Article
Information
Bulletin of the Australian Mathematical Society , Volume 33 , Issue 2 , April 1986 , pp. 161 - 175
Copyright
Copyright © Australian Mathematical Society 1986

References

[1]Barr, Michael, “Coalgebras over a commutative ring”, J. Algebra 32 (1974), 600–610.CrossRefGoogle Scholar
[2]Barr, M. and Wells, C., Toposes, Triples and Theories, (Springer-Verlag, New York, Berlin, Heidelberg, Tokyo, 1985).CrossRefGoogle Scholar
[3]Davis, Robert, “Equational systems of functors”, Reports of the Midwest Category Seminar 1965, 92–109 (Lecture Notes in Mathematics 47. Springer-Verlag, Berlin, Heidelberg, New York, 1967).CrossRefGoogle Scholar
[4]Diers, Yves, “Foncteur pleinement fidele dense classanat les algebres”, Cahiers Topologie Géom. Differentielle 17 (1976), 171–186.Google Scholar
[5]Eilenberg, Samuel and Kelly, G. Max, “Closed Categories”,Proceedings of the Conference on Categorical Algebra La Jolla(1965),421–562 (Springer-Verlag, Berlin, Heidelberg, New York, 1966).CrossRefGoogle Scholar
[6]Jay, C. Barry, Generalising the Structure-Semantics Adjunction: Operational Categories (thesis, McGill University, 1984).Google Scholar
[7]Kelly, G.M. and Street, Ross, “Review of the elements of 2-categories”, Category Seminar Sydney 1972/1973, 75–103, (Lecture Notes in Mathematics, 420, Springer-Verlag, Berlin, Heidelberg, New York, 1974).CrossRefGoogle Scholar
[8]Lawvere, F.W., Functorial semantics of algebraic theories (thesis, Columbia University, 1963).CrossRefGoogle Scholar
[9]Linton, F.E.J., “Some aspects of equational systems”,Proceedings of the Conference on Categorical Algebra La Jolla1965,84–94, (Springer-Verlag, Berlin, Heidelberg, New York, 1966).CrossRefGoogle Scholar
[10]Linton, F.E.J., “An outline of Functorial semantics”, Seminar on Triples and Categorical Homology Theory E.T.A. Zurich 1966/1967, 7–52 (Springer-Verlag, Berlin, Heidelberg, New York, 1969).Google Scholar
[11]MacLane, Saunders, “Categorical algebra”, Bull. Amer. Math. Soc. 71 (1965), 40–106.CrossRefGoogle Scholar
[12]MacLane, Saunders, Categories for the working mathematician (Springer-Verlag, New York, Heidelberg, Berlin, 1971).Google Scholar
[13]Street, Ross, “Fibrations in bicategories”, Cahiers Topolgie Géom. Différentielle 21 (1980), 111–160.Google Scholar
[14]Thiébaud, Michel, Self-dual structure-semantics and algebraic categories (thesis, Dalhousie University, 1971).Google Scholar
[15]Wyler, Oswald, “Operational categories”,Proceedings of the Conference on Categorical Algebra La Jolla1965,295–316, (Springer-Verlag, Berlin, Heidelberg, New York, 1966).CrossRefGoogle Scholar