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
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
-Cat the category of
-enriched categories. Among other things, Kelly showed that
-Cat has all weighted limits and colimits even when
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