Lawvere theories enriched over a general base

Journal of Pure and Applied Algebra

Volumn 213, Issue 3, 2009, Pages 377-386

  Nishizawa, Koki ^a,b   Power, John ^c  

^a NATIONAL INSTITUTE OF ADVANCED INDUSTRIAL SCIENCE AND TECHNOLOGY AIST   (Japan)

^b UNIVERSITY OF TOKYO   (Japan)

^c University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 56249131088     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jpaa.2008.07.009     Document Type: Article

References (23)

1. Barr M., and Wells C. Toposes, Triples and Theories. Grundlagen der Mathematischen Wissenschaften vol. 278 (1985), Springer-Verlag, Berlin
2. Barr M., and Wells C. Category Theory for Computing Science. third ed. (1999), Less Publications CRM
3. Blackwell R., Kelly G.M., and Power A.J. Two-dimensional monad theory. Journal of Pure and Applied Algebra 59 (1989) 1-41
4. Eilenberg S., and Max Kelly G. Closed categories. In: Eilenberg S., Harrison D.K., MacLane S., and Röhrl H. (Eds). Proceedings of the Conference on Categorical Algebra. La Jolla, 1965 (1965), Springer-Verlag 421-562
5. Ghani N., Lüth C., Marchi M., and Power J. Algebras, coalgebras, monads and comonads. Proc. of 4th Wksh. on Coalgebraic Methods in Computer Science. CMCS'01, Genova, Italy, 6-7 April 2001. Electronic Notes in Theoretical Computer Science vol. 44(1) (2001), Elsevier, Amsterdam
6. Hyland M., Plotkin G., and Power J. Combining computational effects: Commutativity and sum. Proc. of 17th IFIP World Computer Congress, TC1 Stream/2nd IFIP Int. Conf. on Theoretical Computer Science. TCS 2002, Montréal, Que., Canada, 25-30 August 2002. IFIP Conf. Proc. vol. 223 (2002), Kluwer Academic Publishers, Dordrecht 474-484
7. Kelly G.M. Structures defined by finite limits in the enriched context 1. Cahiers de Top et Geom Differentielle 23 (1980) 3-42
8. Kelly G.M. Basic Concepts of Enriched Category Theory. London Mathematical Society Lecture Note Series vol. 64 (1982), Cambridge University Press
9. 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 (1993) 163-179
10. Kinoshita Y., and Power J. Lax naturality through enrichment. Journal of Pure and Applied Algebra 112 (1996) 53-72
11. Kinoshita Y., and Power J. A general completeness result in refinement. WADT'99. LNCS vol. 1827 (2000), Springer Verlag
12. Kinoshita Y., Power J., and Takeyama M. Sketches. In: Brookes S., and Mislove M. (Eds). Electronic Notes in Theoretical Computer Science vol. 6 (2000), Elsevier
13. Lawvere F.W. Functorial semantics of algebraic theories. Proceedings of the National Academy of Science 50 (1963) 869-873
14. Linton F.E.J. Some aspects of equational theories. In: Eilenberg S., Harrison D.K., MacLane S., and Röhrl H. (Eds). Proceedings of the Conference on Categorical Algebra. La Jolla, 1965 (1965), Springer-Verlag 84-94
15. Moggi E. Computational lambda-calculus and monads. Proceedings of the 1989 Conference on Logic in Computer Science (1989), IEEE Press 14-29
16. Moggi E. Notions of computation and monads. Information and Computation 93 1 (1991)
17. Plotkin G., and Power J. Adequacy of algebraic effects. Proc. of 4th Int. Conf. on Foundations of Software Science and Computation Structures. FoSSaCS 2001, Genova, Italy, 2-6 April 2001. Lecture Notes in Computer Science vol. 2030 (2001), Springer-Verlag, Berlin 1-24
18. Plotkin G., and Power J. Semantics of algebraic operations. Proc. of 17th Conf. on Math. Found. of Programming Semantics. MFPS 2001, Aarhus, Denmark, 23-26 May 2001. Electronic Notes in Theoretical Computer Science vol. 45 (2001), Elsevier, Amsterdam
19. Plotkin G., and Power J. Logic for computational effects (work in progress). Proc. of 6th Int. Wksh. on Formal Methods. IWFM 2003, Dublin City Univ., Ireland, 11 July 2003. Electronic Workshops in Computing (2003), British Computer Society
20. Gordon D. Plotkin, John Power, Notions of computation determine monads, in: Foundations of Software Science and Computation Structures, FOSSACS, in: Lecture Notes in Computer Science, vol. 2620, Berlin, Heidelberg, New York, 2002, pp. 342-356
21. Power J. Enriched Lawvere theories. Theory and Applications of Categories 6 7 (1999) 83-93
22. Robinson E.P. Variations on algebra: Monadicity and generalisations of equational theories. Formal Aspects of Computing 13 (2002) 308-326
23. Street R.H., and Walters R.F.C. Yoneda structures on 2-categories. Journal Algebra 50 (1978) 350-379