Kelly was born in
Bondi, New South Wales,
Australia, on 5 June 1930. He obtained his
PhD at
Cambridge University in
homological algebra in 1957, publishing his first paper in that area in 1959,
Single-space axioms for homology theory. He taught in the Pure Mathematics department at the
University of Sydney from 1957 to 1966, rising from lecturer to reader. Let \cal V be a
monoidal category, and denote by the category of categories. Among other things, Kelly showed that has all weighted limits and colimits even when \cal V does not have all ordinary
limits and colimits. He also developed the enriched counterparts of
Kan extensions, density of the
Yoneda embedding, and essentially algebraic theories. In 1967 Kelly was appointed Professor of Pure Mathematics at the
University of New South Wales. In 1972 he was elected a
Fellow of the Australian Academy of Science. He returned to the University of Sydney in 1973, serving as Professor of Mathematics until his retirement in 1992. In 2001 he was awarded the Australian government's
Centenary Medal. He continued to participate in the department as professorial fellow and professor emeritus until his death at age 76 on 26 January 2007. Kelly worked on many other aspects of category theory besides enriched categories, both individually and in a number of collaborations. His PhD students include
Ross Street. ==References==