Lax naturality through enrichment

Journal of Pure and Applied Algebra

Volumn 112, Issue 1, 1996, Pages 53-72

  Kinoshita, Yoshiki ^a   Power, John ^b  

^a ELECTROTECHNICAL LABORATORY   (Japan)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030583452     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/0022-4049(95)00136-0     Document Type: Article

References (19)

1. [1] M. Barr and C. Wells, Toposes, Triples and Theories, Grundlagen der Mathematischen Wissenschaften, Vol. 278 (Springer, Berlin, 1985).
2. [2] A. Carboni, G.M. Kelly and R.J. Wood, A 2-categorical approach to change of base and geometric morphisms I, J. Pure Appl. Algebra, to appear.
3. [3] E.J. Dubuc and G.M. Kelly, A presentation of topoi as algebraic relative to categories or graphs, J. Algebra, 81 (1983) 420-433.
4. [4] R. Gordon and A.J. Power, Algebraic structure for bicategory enriched categories, submitted.
5. [5] R. Gordon and A.J. Power, Enrichment through variation, J. Pure Appl. Algebra, to appear.
6. [6] R. Gordon and A.J. Power, Gabriel-Ulmer duality in categories enriched in bicategories, submitted.
7. [7] R. Gordon, A.J. Power and R. Street, Coherence for tricategories, Memoirs American Mathematical Society, to appear.
8. [8] J.W. Gray, Formal Category Theory - Adjointness for 2-Categories, Lecture Notes in Math., Vol. 391 (Spriger, Berlin, 1974).
9. [9] C.A.R. Hoare, Proof of correctness of data representations, Acta Inform. 1 (1972) 271-281.
10. [10] C.A.R. Hoare, Data refinement in a categorical setting, unpublished manuscript, 1987.
11. [11] G.M. Kelly, Doctrinal adjunction, in: Category Seminar Sydney 1972/73, Lecture Notes in Math., Vol. 420 (Springer, Berlin, 1974) 257-280.
12. [12] G.M. Kelly, Basic Concepts of Enriched Category Theory, London Mathematical Society Lecture Note Series, Vol. 64 (Cambridge Univ. Press, Cambridge, 1982).
13. [13] G.M. Kelly and A.J. Power, Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, J. Pure Appl. Algebra 89 (1993) 163-179.
14. [14] A.J. Power, An algebraic formulation for data refinement, in Proc. Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science, Vol. 442 (Springer, Berlin, 1990) 390-401.
15. [15] A.J. Power and C. Wells, A formalism for the specification of essentially algebraic structures in 2-categories, Math. Struct. Comput. Sci. 2 (1992) 1-28.
16. [16] R. Nakajima, M. Honda and H. Nakahara, Hierarchical program specification and verification - a many-sorted logical approach, Acta Inform. 14 (1980) 135-155.
17. [17] E. Robinson, Variations on algebra: monadicity and generalisations of equational theories, Math. Struct. in Comput. Sci., to appear.
18. [18] R. Street, Enriched categories and cohomology, Questiones Math. 6 (1983) 265-283.
19. [19] N. Wirth, Program development by stepwise refinement, Comm. ACM 14 (1971) 221-227.