Max Kelly

Gregory Maxwell "Max" Kelly (5 June 1930 – 26 January 2007) was an Australian mathematician who worked on category theory.
Biography.
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. During 1963–1965 he was a visiting fellow at Tulane University and the University of Illinois, where with Samuel Eilenberg he formalized and developed the notion of an enriched category based on intuitions then in the air about making the homsets of a category just as abstract as the objects themselves.
He subsequently developed the notion in considerably more detail in his 1982 monograph "Basic Concepts of Enriched Category Theory". Let formula_1 be a monoidal category, and denote by formula_1-Cat the category of formula_1-enriched categories. Among other things, Kelly showed that formula_1-Cat has all weighted limits and colimits even when formula_1 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.