Enrichment through variation

Journal of Pure and Applied Algebra

Volumn 120, Issue 2, 1997, Pages 167-185

  Gordon, R ^a   Power, A J ^b  

^a Temple University   (United States)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031567654     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(97)00070-4     Document Type: Article

References (12)

1. [1] R. Betti, A. Carboni, R. Street, R. Walters, Variation through enrichment, J. Pure Appl. Algebra 29 (1983) 109-127.
2. [2] R. Blackwell, G.M. Kelly, A.J. Power, Two-dimensional monad theory, J. Pure Appl. Algebra 59 (1989) 1-41.
3. [3] P. Gabriel, F. Ulmer, Lokal präsentierbare Kategorien, Lecture Notes in Math., vol. 221, Springer, Berlin, 1971.
4. [4] R. Gordon, G-categories, Memoirs Amer. Math. Soc., vol. 101, no. 482, 1993.
5. [5] R. Gordon, A.J. Power, Algebraic structure for categories enriched over bicategories, J. Pure Appl. Algebra, to appear.
6. [6] G.M. Kelly, On Mac Lane's conditions for coherence of natural associativities, commutativities, etc., J. Algebra 1 (1964) 397-402.
7. [7] G.M. Kelly, Doctrinal adjunctions, Lecture Notes in Math., vol. 420, Springer, Berlin, 1974, pp. 257-280.
8. [8] G.M. Kelly, Coherence theorems for lax algebras and for distributive laws, Lecture Notes in Math., vol. 420, Springer, Berlin, 1974, pp. 281-375.
9. [9] G.M. Kelly, Structure defined by finite limits in the enriched context I, Cahiers de Top. et Géom. Diff. 23 (1982) 3-42.
10. [10] 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.
11. [11] A.J. Power, An algebraic formulation for data refinement, in: Proc. 5th Internat. Conf. on Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science, vol. 442, Springer, Berlin, 1990, pp. 390-401.
12. [12] R.H. Street, Enriched categories and cohomology, Quaestione Math. 6 (1983) 265-283.