stringtranslate.com

Андре Джойал

Андре Жойал ( фр. [ʒwajal] ; родился в 1943 году) — профессор математики в Университете Квебека в Монреале , работающий над теорией категорий . Он был членом Школы математики в Институте перспективных исследований в 2013 году, [1] где его пригласили присоединиться к Специальному году по унивалентным основаниям математики . [2]

Исследовать

Он открыл семантику Крипке–Джойала [3], теорию комбинаторных видов и совместно с Майлзом Тирни обобщение теории Галуа Александра Гротендика [4] в настройке локалей. Большая часть его исследований так или иначе связана с теорией категорий , теорией высших категорий и их приложениями. Он провел некоторую работу над квазикатегориями после их изобретения Майклом Бордманом и Райнером Фогтом, в частности, предположив [5] и доказав существование структуры модели Квиллена в категории симплициальных множеств , слабые эквивалентности которых обобщают как эквивалентность категорий, так и эквивалентность пространств по Кану. Он был соавтором книги «Алгебраическая теория множеств» с Айке Мурдейком и недавно начал веб-экспозиционный проект Joyal's CatLab [6] по категориальной математике.

Личная жизнь

Джойал родился в Драммондвилле (ранее Сен-Маджорик). У него трое детей, он живет в Монреале .

Библиография

Ссылки

  1. ^ Институт перспективных исследований: Сообщество ученых
  2. ^ Математическая школа IAS: Унивалентные основы математики
  3. ^ Роберт Голдблатт, Семантика Крипке-Джойала для некоммутативной логики в кванталах; Advances in Modal Logic 6, 209—225, Coll. Publ., Лондон, 2006; MR 2396933
  4. ^ Джойал, Андре; Тирни, Майлз (1984). «Расширение теории Галуа Гротендика». Мемуары Американского математического общества . 51 (309). doi : 10.1090/MEMO/0309 .
  5. ^ А. Джоял, Письмо Гротендику, апрель 1983 г. (содержит модельную структуру Квиллена на симплициальных предпучках)
  6. ^ Кошачья лаборатория Джойала

Внешние ссылки