HOME

TheInfoList



OR:

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 Bondi () is a suburb of eastern Sydney, in the state of New South Wales, Australia, seven kilometres east of the Sydney central business district, in the local government area of Waverley Council. It is often colloquially referred to as " ...
, Australia, on 5 June 1930. He obtained his PhD at
Cambridge University , mottoeng = Literal: From here, light and sacred draughts. Non literal: From this place, we gain enlightenment and precious knowledge. , established = , other_name = The Chancellor, Masters and Schola ...
in
homological algebra Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology ...
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 The University of Sydney (USYD), also known as Sydney University, or informally Sydney Uni, is a public university, public research university located in Sydney, Australia. Founded in 1850, it is the oldest university in Australia and is one o ...
from 1957 to 1966, rising from lecturer to reader. During 1963–1965 he was a visiting fellow at
Tulane University Tulane University, officially the Tulane University of Louisiana, is a private research university in New Orleans, Louisiana. Founded as the Medical College of Louisiana in 1834 by seven young medical doctors, it turned into a comprehensive pu ...
and the
University of Illinois The University of Illinois Urbana-Champaign (U of I, Illinois, University of Illinois, or UIUC) is a public land-grant research university in Illinois in the twin cities of Champaign and Urbana. It is the flagship institution of the Unive ...
, where with
Samuel Eilenberg Samuel Eilenberg (September 30, 1913 – January 30, 1998) was a Polish-American mathematician who co-founded category theory (with Saunders Mac Lane) and homological algebra. Early life and education He was born in Warsaw, Kingdom of Poland to ...
he formalized and developed the notion of an
enriched category In category theory, a branch of mathematics, an enriched category generalizes the idea of a category by replacing hom-sets with objects from a general monoidal category. It is motivated by the observation that, in many practical applications, the ...
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 \cal V be a
monoidal category In mathematics, a monoidal category (or tensor category) is a category \mathbf C equipped with a bifunctor :\otimes : \mathbf \times \mathbf \to \mathbf that is associative up to a natural isomorphism, and an object ''I'' that is both a left ...
, and denote by \cal V-Cat the category of \cal V-enriched categories. Among other things, Kelly showed that \cal V-Cat 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 The University of New South Wales (UNSW), also known as UNSW Sydney, is a public research university based in Sydney, New South Wales, Australia. It is one of the founding members of Group of Eight, a coalition of Australian research-intensiv ...
. In 1972 he was elected a
Fellow of the Australian Academy of Science The Fellowship of the Australian Academy of Science is made up of about 500 Australian scientists. Scientists judged by their peers to have made an exceptional contribution to knowledge in their field may be elected to Fellowship of the Academy ...
. 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 The Centenary Medal is an award which was created by the Australian Government in 2001. It was established to commemorate the centenary of the Federation of Australia The Federation of Australia was the process by which the six separate ...
. 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 PHD or PhD may refer to: * Doctor of Philosophy (PhD), an academic qualification Entertainment * '' PhD: Phantasy Degree'', a Korean comic series * ''Piled Higher and Deeper'', a web comic * Ph.D. (band), a 1980s British group ** Ph.D. (Ph.D. albu ...
students include Ross Street.


References


External links


Max Kelly's Perpetual Web Page
a memorial page set up by Kelly's son Simon Kelly.

a post a
''The n-Category Café''
containing praise from his fellow mathematicians * {{DEFAULTSORT:Kelly, Max 1930 births 2007 deaths Australian mathematicians Category theorists Academic staff of the University of Sydney Academic staff of the University of New South Wales Fellows of the Australian Academy of Science People from the Eastern Suburbs (Sydney) Alumni of the University of Cambridge