Ловер, Уильям (Lkfyj, Rnl,xb)

Перейти к навигации Перейти к поиску
Ловер, Уильям
англ. Francis William Lawvere
Дата рождения 9 февраля 1937(1937-02-09)
Место рождения Манси, Индиана
Дата смерти 23 января 2023(2023-01-23) (85 лет)
Место смерти
Страна
Род деятельности математик, философ, преподаватель университета
Научная сфера Математика
Место работы Университет штата Нью-Йорк в Буффало
Альма-матер Колумбийский университет
Научный руководитель Эйленберг, Самуэль
Известен как создатель теории топосов, работы по философии математики
Награды и премии
Логотип Викисклада Медиафайлы на Викискладе

Уильям Ловер (англ. Francis William Lawvere; 9 февраля 1937 — 23 января 2023[1]) — американский математик, известный благодаря работам по теории категорий, теории топосов и философии математики.

Образование

[править | править код]

Будучи студентом изучал механику сплошных сред под руководством Клиффорда Трусделла. О теории категорий узнал во время изучения курса функционального анализа — из задачи в учебнике Джона Келли «Общая топология», где указывалось, что функториальный подход «может быть назван галактической теорией». В 1960 году Трусделл подписал заявку Ловера на перевод в Колумбийский университет под руководство сооснователя теории категорий Сэмюэля Эйленберга.

В 1963 году под руководством Эйленберга получил степень доктора философии. Перед защитой докторской диссертации провёл год в Университете Беркли, посещая лекции Альфреда Тарского и Даны Скотта по теории моделей и теории множеств. На своей первой преподавательской должности в Рид-колледже получил задание разработать курсы по анализу и общей алгебре, делающие упор на основания математики, в попытках использовать в курсе аксиоматическую теорию множеств, нашёл её неподходящей для начинающих студентов, поэтому вместо этого он придумал несколько аксиом для композиции отображений множеств. Позднее изложил эти аксиомы в работе «Элементарная теория категорий множеств» (1964), в которой были заложены некоторые идеи, лёгшие в основу будущей элементарной теории топосов.

В своей докторской диссертации изучил «категорию категорий» в качестве основы для семантики алгебраических теорий. В 1964—1967 годах продолжил работу над «категорией категорий» в высшей технической школе Цюриха. Особенно большое влияние на него оказали семинары Пьера Габриэля по основаниям алгебраической геометрии. После этого вместе с Маклейном преподавал в Университете Чикаго, а также в Университете Нью-Йорка. Его чикагские лекции по категорной динамике стали очередным шагом по направлению к теории топосов, как и нью-йоркские лекции по категорной логике, особенно с учётом его открытия, что кванторы существования и всеобщности можно охарактеризовать при помощи сопряжённых функторов.

Вернувшись в Цюрих, в 1968—1969 годах предложил элементарные (касающиеся логики первого порядка) аксиомы топосов, обобщив понятие топоса Гротендика и продолжил работу над упрощением и применением теории вместе с алгебраическим топологом Майлсом Тирни. Тирни смог серьёзно упростить описание топологий Гротендика. Позднее Андерс Кок добился дальнейшего упрощения, так что топос мог быть описан как категория с произведениями и уравнителями, в которой могут быть представлены понятия пространства отображений и подобъекта. Ловер указал, что топология Гротендика может быть описана как эндоморфизм представителя подобъекта. Эти «Топологии» важны как в алгебраической геометрии, так и в теории моделей, поскольку они определяют подтопосы как категории пучков.

В 1972—1974 годах вёл семинар в итальянской Перудже, в рамках которого разрабатывал различные виды обогащённых категорий: например, метрическое пространство можно рассматривать как обогащённую категорию. С 1974 года вплоть до выхода на пенсию в 2000 году работал профессором математики в Университете Буффало, с 2000 года — почётный профессор математики в Буффало. В 2012 году стал действительным членом Американского математического общества.[2]

Примечания

[править | править код]
  1. F. William Lawvere (February 9, 1937 — January 23, 2023). Дата обращения: 25 января 2023. Архивировано 25 января 2023 года.
  2. List of Fellows of the American Mathematical Society (англ.). Дата обращения: 17 августа 2013. Архивировано 17 августа 2013 года.