Variations on algebra: Monadicity and generalisations of equational theories

Formal Aspects of Computing

Volumn 13, Issue 3-5, 2002, Pages 308-326

  Robinson, Edmund ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Algebra; Category theory; Enriched categroy theory; Monads

Indexed keywords

COMPUTATIONAL METHODS;

ALGEBRAIC THEORY; CATEGORY THEORY; ENRICHED CATEGORY THEORY; MONADS;

ALGEBRA;

EID: 0042523541     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650200014     Document Type: Article

References (29)

1. [BaW90] Barr, M. and Wells, C.: Category Theory for Computer Science. Prentice-Hall, 1990.
2. [BKP89] Blackwell, R., Kelly, G. M. and Power, A.'J.: Two-dimensional monad theory. Journal of Pure and Applied Algebra, 59:1-41, 1989.
3. [Bur81] Burroni, A.: Algèbres graphiques. Cahiers de topologie et géométrie différentielle, 23:249-265, 1981.
4. [ChH97] Chen, C.-P. and Hudak, P.: Rolling your own mutable adt: a connection between linear types and monads. In 24th Symposium on Principles of Programming Languages. ACM Press, January 1997.
5. [DuK83] Dubuc, E. J. and Kelly, G. M.: A presentation of topoi as algebraic relative to categories or graphs. Journal of Algebra, 81:420-433, 1983.
6. [GaU71] Gabriel, P. and Ulmer, F.: Lokal Präsentierbare Kategorien, volume 221 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1971.
7. [Gor94] Gordon, A. D.: Functional Programming and Input/Output. Distinguished Dissertations in Computer Science. Cambridge University Press, 1994.
8. [GoP97] Gordon, R. and Power, A. J.: Enrichment through variation. Journal of Pure and Applied Algebra, 120:167-185, 1997.
9. [GoP98] Gordon, R. and Power, A. J.: Algebraic structure for bicategory enriched categories. Journal of Pure and Applied Algebra, 130:119-132, 1998.
10. [Joh82] Johnstone, P. T.: Stone Spaces, volume 3 of Cambridge studies in advanced mathematics. Cambridge University Press, Cambridge, 1982.
11. [JoW93] Jones, S. P. and Wadler, P.: Imperative functional programming. In 20th Symposium on Principles of Programming Languages, Charlotte, NC, January 1993. ACM Press.
12. [Ke182a] Kelly, G. M.: Basic Concepts of Enriched Category Theory, volume 64 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1982.
13. [Ke182b] Kelly, G. M.: Structures defined by finite limits in the enriched context, I. Cahiers de Topologie et Géométrie Différentielle, 23:3-41, 1982.
14. [KeP93] Kelly, G. M. and Power, A. J.: Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads. Journal of Pure and Applied Algebra, 89:163-179, 1993.
15. [KPT99] Kinoshita, Y., Power, J. and Takeyama, M.: Sketches. Journal of Pure and Applied Algebra, 143:275-291, 1999.
16. [Law73] Lawvere, F. W.: Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano, 43:135-166, 1973.
17. [LiH96] Liang, S. and Hudak, P.; Modular denotational semantics for compiler construction. In European Symposium on Programming, April 1996.
18. [LHJ95] Liang, S., Hudak, P. and Jones, M.: Monad transformers and modular interpreters. In 22nd Symposium on Principles of Programming Languages. ACM Press, January 1995.
19. [LaS86] Lambek, J. and Scott, P. J.: Introduction to Higher Order Categorical Logic, volume 7 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1986.
20. [Lin66] Linton, F. E. J.: Some aspects of equational categories. In S. Eilenberg, D. K. Harrison, S. MacLane and H. Röhrl, editors, Proceedings of the Conference on Categorical Algebra, La Jolla, 1965, pages 84-94. Springer-Verlag, 1966.
21. [Mog91] Moggi, E.: Notions of computation and monads. Information and Computation, 93(1):55-92, 1991.
22. [Pow90] Power, A. J.; An algebraic formulation for data refinement. In M. Main, A. Melton, M. Mislove and D. Schmidt, editors, Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane, March/April 1989, pages 390-401, 1990.
23. [Pow95] Power, A. J.: Why tricategories? Information and Computation, 120:251-262, 1995.
24. [Pow00] Power, J.: Premonoidal categories as categories with algebraic structure. Theoretical Computer Science, 2000 (to appear).
25. [PoR97] Power, J. and Robinson, E.: Premonoidal categories and notions of computation. Mathematical Structures in Computer Science, 7:453-468, 1997.
26. [Rob94] Robinson, E.: Parametricity as isomorphism. Theoretical Computer Science, 136(1):163-181, 1994.
27. [Wad95] Wadler, P.; Monads for functional programming. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming, volume 925 of LNCS. Springer-Verlag, 1995.
28. [Wad97] Wadler, P.: How to declare an imperative. ACM Computing Surveys, 29(3):240-263, 1997.
29. [Wad98] Wadler, P.: The marriage of effects and monads. In International Conference on Functional Programming, Baltimore, September 1998.