BASIC CONCEPTS OF ENRICHED CATEGORY THEORY

BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (2005)

by G. M. Kelly

Venue:	REPRINTS IN THEORY AND APPLICATIONS OF CATEGORIES
Citations:	316 - 4 self

62	Axiomatic Domain Theory in Categories of Partial Maps – M P Fiore - 1996
651	Notions of Computation and Monads – Eugenio Moggi - 1991
816	Categories for the Working Mathematician – S Mac Lane - 1998
379	Introduction to Higher Order Categorical Logic – J Lambek, P J Scott - 1986
182	Closed categories – S Eilenberg, G M Kelly - 1966
89	Algebraically complete categories – P Freyd - 1991
60	Remarks on algebraically compact categories – P Freyd - 1991
196	A powerdomain construction – G. D. Plotkin - 1976
98	Coherence for tricategories – R Gordon, A J Power, R Street - 1995
159	The Category-theoretic Solution of Recursive Domain Equations – M Smyth, G D Plotkin - 1982
599	Concurrency and automata on infinite sequences – D Park - 1981
65	Recursive types reduced to inductive types – P Freyd - 1990
94	Metric spaces, generalized logic, and closed categories – F William Lawvere - 1974
125	Introduction to bicategories – J Benabou - 1967
154	An abstract view of programming languages – Eugenio Moggi - 1990
401	Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
10	Categories of partial morphisms and the partial lambda-calculus – E MOGGI - 1986
42	Continuity and effectiveness in topoi – G Rosolini - 1986
421	Categories for the working mathematician – S MacLane - 1971