Enrichment through variation
暂无分享,去创建一个
[1] G. M. Kelly. Coherence theorems for lax algebras and for distributive laws , 1974 .
[2] G. M. Kelly,et al. Two-dimensional monad theory , 1989 .
[3] John Power. An Algebraic Formulation for Data Refinement , 1989, Mathematical Foundations of Programming Semantics.
[4] G. M. Kelly,et al. On MacLane's conditions for coherence of natural associativities, commutativities, etc. , 1964 .
[5] Ross Street,et al. ENRICHED CATEGORIES AND COHOMOLOGY , 1983 .
[6] P. Gabriel,et al. Lokal α-präsentierbare Kategorien , 1971 .
[7] G. M. Kelly,et al. Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads , 1993 .
[8] Ross Street,et al. Variation through enrichment , 1983 .