Discrete lawvere theories

Lecture Notes in Computer Science

Volumn 3629, Issue , 2005, Pages 348-363

  Power, John ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; MATHEMATICAL MODELS; TENSORS;

HOMSETS; LAWVERE THEORY; MATHEMATICAL PRIMITIVE; MODELING EFFECTS;

THEOREM PROVING;

EID: 26944434755     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11548133_22     Document Type: Conference Paper

References (26)

1. J. Adámek and J. Rosický, Locally Presentable and Accessible Categories, London Mathematical Society Lecture Note Series, Vol. 189, Cambridge University Press, 1994.
2. M. Barr and C. Wells, Topases, Triples and Theories, Springer-Verlag, 1985.
3. M. Barr and C. Wells, Category Theory for Computing Science, Prentice-Hall, 1990.
4. R. Blackwell, G. M. Kelly, and A. J. Power, Two-Dimensional Monad Theory, J. Pure Appl. Algebra Vol. 59, pp. 1-41, 1989.
5. N. Ghani and C. Lüth, Monads and Modular Term Rewriting, Proc. CTCS '97, LNCS, Vol. 1290, pp. 69-86, Springer-Verlag, 1997.
6. R. Heckmann, Probabilistic Domains, Proc. CAAP '94, LNCS, Vol. 136, pp. 21-56, Springer-Verlag, 1994.
7. M. C. B. Hennessy, Algebraic Theory of Processes, MIT Press, 1988.
8. M. Hyland, P. Levy, G. D. Plotkin, and A. J. Power, Combining Continuations with Other Effects, Proc. Continuations Workshop 2004, Birmingham Technical Report, No. CSR-04-1, refereed presentation, 2004.
9. J. M. E. Hyland and A. J. Power, Pseudo-Commutative Monads and Pseudo-Closed 2-Categories, J. Pure Appl. Algebra Vol. 175, pp. 141-185, 2002.
10. J. M. E. Hyland, A. J. Power and G. D. Plotkin, Combining Computational Effects: Commutativity and Sum, Proc. 2nd IFIP Conf on Theoretical Computer Science (eds. Ricardo A. Baeza-Yates, Ugo Montanari and Nicola Santoro), pp. 474-484, Kluwer, 2002.
11. J. M. E. Hyland, A. J. Power and G. D. Plotkin, Combining Computational Effects: Sum and Tensor, Theoretical Computer Science, to appear.
12. C. Jones and G. D. Plotkin, A Probabilistic Powerdomain of Evaluations, Proc. LICS '89, pp. 186-195, IEEE Press, 1989.
13. G. M. Kelly, A Unified Treatment of Transfinite Constructions for Free Algebras, Free Monoids, Colimits, Associated Sheaves, and so on, Bull. Austral. Math. Soc., Vol. 22, pp. 1-83, 1980.
14. G. M. Kelly, Basic Concepts of Enriched Category Theory, Cambridge University Press, 1982.
15. G. M. Kelly, Structures Defined by Finite Limits in the Enriched Context I, Cahiers de Topologie et Géométrie Différentielle, Vol. 23, No. 1, pp. 3-42, 1982.
16. G. M. Kelly and Stephen Lack, Finite-product-preserving Functors, Kan Extensions, and Strongly-finitary Monads, Applied Categorical Structures, 1993.
17. G. M. Kelly and A. J. Power, Adjunctions whose Counits are Coequalizers, and Presentations of Finitary Enriched Monads, J. Pure Appl. Algebra, Vol. 89, pp. 163-179, 1993.
18. Y. Kinoshita, A. J. Power, and M. Takeyama, Sketches, J. Pure Appl. Algebra, Vol. 143, pp. 275-291, 1999.
19. A. Kock, Monads on Symmetric Monoidal Closed Categories, Arch. Math., Vol. 21, pp. 1-10, 1970.
20. M. W. Mislove, Nondeterminism and Probabilistic Choice: Obeying the Laws, Proc. CONCUR 2000 (ed. C. Palamidessi), LNCS, Vol. 1877, pp. 350-364, Springer-Verlag, 2000.
21. E. Moggi, Computational Lambda-Calculus and Monads, Proc. LICS '89, pp. 14-23, IEEE Press, 1989.
22. E. Moggi, Notions of Computation and Monads, Inf. and Comp., Vol. 93, No. 1, pp. 55-92, 1991.
23. G. D. Plotkin and A. J. Power, Notions of Computation Determine Monads, Proc. FOSSACS '02, (eds. M. Nielsen and U. Engberg), LNCS, Vol. 2303, pp. 342-356, Springer-Verlag, 2002.
24. A. J. Power, Why Tricategories? Information and Computation, Vol. 120, pp. 251-262, 1995.
25. A. J. Power, Enriched Lawvere Theories, Theory and Applications of Categories, Vol. 6, pp. 83-93, 2000.
26. A. J. Power, Canonical models for computational effects, Proc. FOSSACS 2004, LNCS Vol. 2987, pp. 438-452, Springer-Verlag, 2004.