|
Семинар посвящён изучению теории категорий и обзору её применений в различных областях знания: информатике, математике, физике. Заседания проходят по субботам в 15:45, ауд. 305.
>>> Блог семинара
>>> Форум семинара
>>> Файловый архив
|
|
Линейное типизированное λ-исчисление и симметричные замкнутые категории — II (29.03.2010) |
|
В докладе планируется дать определение линейного типизированного λ-исчисления и продемонстрировать его эквивалентность симметричным замкнутым категориям.
Докладчик: Батальщиков А.А. |
|
Линейное типизированное λ-исчисление и симметричные замкнутые категории — I (21.03.2010) |
|
В первой части доклада было описано понятие симметричных замкнутых моноидальных категорий, обсуждена связь понятий симметричной категорий и косовой категории.
Докладчик: Батальщиков А.А. |
|
Категория плетений. Введение (20.02.10) |
|
Определения плетения, диаграммы плетения, категории плетений.
Литература: К. Кассель, Квантовые группы.
Докладчик: Шамраев Н. Г. |
|
Теория категорий и теория вычислений, продолжение (16.01.10) |
|
Классификация систем типизированного лямбда-исчисления на базе «лямбда-куба»; типизированное лямбда-исчисление и декартово замкнутые категории; типизированное лямбда-исчисление и замкнутые моноидальные категории; типизированное линейное комбина́торное исчисление и замкнутые симметричные моноидальные категории.
Докладчик: Батальщиков А.А.
Время начала семинара: 16-30. |
|
Теория категорий и теория вычислений, продолжение (12.12.09) |
|
Комбинатор неподвижной точки. Связь типизированного лямбда-исчисления с декартово замкнутыми категориями.
Дополнительная литература: Awodey, Bauer «Categorical Logic». Докладчик: Батальщиков А.А. |
|
<< Начало < Предыдущая 1 2 3 4 Следующая > Последняя >>
|
|
Страница 1 из 4 |