Weighted Colimits and Formal . . .

Weighted Colimits and Formal . . . (1997)

by J. J. M. M. Rutten

@MISC{Rutten97weightedcolimits,
    author = {J. J. M. M. Rutten},
    title = {Weighted Colimits and Formal . . . },
    year = {1997}
}

316	Basic Concepts of Enriched Category Theory - Kelly - 1982
182	Closed categories - Eilenberg, Kelly - 1966
94	Metric spaces, generalized logic, and closed categories - Lawvere - 1974
59	Handbook of Categorical Algebra 2. Categories and Structures - Borceux - 1994
40	A computational model for metric spaces - Edalat, Heckmann - 1996
35	Elements of generalized ultrametric domain theory - Rutten
35	Totally Bounded Spaces and Compact Ordered Spaces as Domains of Computation, from - Smyth - 1991
29	Spaces of maximal points - Lawson - 1997
16	Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding - Bonsangue, Breugel, et al.
13	Embedding metric spaces into cpo's - Weihrauch, Schreiber - 1981
11	Taking categories seriously - Lawvere - 2005
9	Computational models for ultrametric spaces - Flagg, Kopperman - 1997
8	A Notion of Limit for Enriched Categories - Borceux, Kelly - 1975
4	Some well-known facts about adjoint bimodules - Wagner - 1995
1	Liminf convergence in!-categories - Wagner - 1995