Келли, Макс (математик)

Келли родился в Бондае (Новый Южный Уэльс, Австралия) 5 июня 1930 года^[3]. В 1957 году получил степень доктора философии в Кембриджском университете по гомологической алгебре, опубликовав в 1959 году свою первую статью в этой области — Single-space axioms for homology theory^[3][4]. С 1957 по 1966 год преподавал на кафедре чистой математики в Сиднейском университете, пройдя путь от лектора до ридера^[3]. В 1963—1965 годах был приглашённым научным сотрудником в Тулейнском университете и Иллинойсском университете^[3], где вместе с Самуэлем Эйленбергом формализовал и развил понятие обогащённой категории, основываясь на идеях о том, чтобы сделать множества морфизмов категории такими же абстрактными, как и сами объекты.

Впоследствии он развил это понятие в своей монографии 1982 года Basic Concepts of Enriched Category Theory. Пусть ${\displaystyle {\cal {V}}}$ — моноидальная категория, а ${\displaystyle {\cal {V}}}$-Cat обозначает категорию ${\displaystyle {\cal {V}}}$-обогащённых категорий. Среди прочего, Келли показал, что ${\displaystyle {\cal {V}}}$-Cat имеет все взвешенные пределы и копределы, даже если ${\displaystyle {\cal {V}}}$ не имеет всех обычных пределов и копределов. Он также разработал обогащённые аналоги расширений Кана, плотности вложения Йонеды и существенно алгебраических теорий.

В 1967 году Келли был назначен профессором чистой математики в Университете Нового Южного Уэльса^[3]. В 1972 году был избран членом Австралийской академии наук. В 1973 году вернулся в Сиднейский университет, где работал профессором математики до выхода на пенсию в 1992 году^[3]. В 2001 году был награждён Медалью Столетия правительства Австралии. Он продолжал участвовать в работе кафедры в качестве профессора-исследователя и почётного профессора до своей смерти 26 января 2007 года в возрасте 76 лет^[3].

Келли работал над многими другими аспектами теории категорий, помимо обогащённых категорий, как индивидуально, так и в соавторстве. Среди его аспирантов — Росс Стрит^[4].