Sketches

Journal of Pure and Applied Algebra

Volumn 143, Issue 1-3, 1999, Pages 275-291

  Kinoshita, Yoshiki ^a   Power, John ^b   Takeyama, Makoto ^c  

^a ELECTROTECHNICAL LABORATORY   (Japan)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033544205     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(98)00114-5     Document Type: Article

References (16)

1. M. Barr, C. Wells, Toposes, triples, and theories, Grundlehren der Math. Wissenschaften, Vol. 278, Springer, Berlin, 1985.
2. M. Barr, C. Wells, Category Theory for Computing Science, Prentice-Hall, Englewood Cliffs, NJ, 1990.
3. R. Blackwell, G.M. Kelly, A.J. Power, Two-dimensional monad theory, J. Pure Appl. Algebra 59 (1989) 1-41.
4. E. Dubuc, G.M. Kelly, A presentation of topoi as algebraic relative to categories or graphs, J. Algebra 81 (1983) 420-433.
5. R. Gordon, A.J. Power, Enrichment through variation, J. Pure Appl. Algebra 120 (1997) 167-185.
6. R. Gordon, A.J. Power, Gabriel Ulmer duality in categories enriched in bicategories, J. Pure Appl. Algebra 137 (1999) 29-48.
7. R. Gordon, A.J. Power, Algebraic structure for bicategory enriched categories, J. Pure Appl. Algebra 130 (1998) 119-132.
8. G.M. Kelly, Basic concepts of enriched category theory, London Math. Soc. Lecture Notes Series, vol. 64, Cambridge University Press, Cambridge, 1982.
9. G.M. Kelly, A.J. Power, Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, J. Pure Appl. Algebra 89 (1993) 163-179.
10. Y. Kinoshita, P.W. O'Hearn, A.J. Power, M. Takeyama, R.D. Tennent, An axiomatic approach to binary logical relations with applications to data refinement, Proc. Theoretical Aspects of Computer Science 97, to appear.
11. Y. Kinoshita, A.J. Power, Lax naturality through enrichment, J. Pure Appl. Algebra 112 (1996) 53-72.
12. Y. Kinoshita, A.J. Power, M. Takeyama, Sketches (extended abstract), Electronic Notes in Theoretical Computer Science 6.
13. M. Makkai, Generalized sketches as a framework for completeness theorems. Parts I-III, J. Pure Appl. Algebra 115 (1997) 49-79, 179-212, 241-274.
14. A.J. Power, Premonoidal Categories as Categories with Algebraic Structure, Submitted.
15. E. Robinson, Variations on algebra: Monadicity and generalisations of algebraic theories, Math. Struct. Comput. Sci., to appear.
16. C. Wells, A generalization of the concept of sketch, Theoret. Comput. Sci. 70 (199) 159-178.