Namdak Tonpa (maxim) wrote,
Namdak Tonpa
maxim

Семинары в НАН

Мне кажется мой доклад на прошлом семинаре про категорную семантику индуктивных типов прошел хорошо. Видео записали, скоро выложу.

Приходите на следующий семинар:

20.04.2017, Четвер
Семінар: Похiднi категорiї та їх застосування
Керівники: В.В. Любашенко
Місце: Інститут математики НАН України, вул. Терещенківська, 3, 219/305
Час: 15:30
Доповідач Ю.М. Беспалов
Доповідь: Кубічні групоїди
Резюме: За мотивами книги Ronald Brown, Philip J. Higgins, Rafael Sivera, Nonabelian Algebraic Topology: Filtered Spaces, Crossed Complexes, Cubical Homotopy Groupoids

Трейс семинаров:

Модератор: В.В. Любашенко. Провідний співробітник відділу топологій інституту математики НАН України

1. 30.03.2017 С.І.Максименко: Враження від гомотопічної теорії типів. Голова відділу топології інституту математики НАН України
2. 06.04.2017 М.Е.Сохацький: Категорна семантика індуктивних типів. Групоїд Інфініті
3. 20.03.2017 Ю.М. Беспалов: Кубічні групоїди. Існтитут теоретичної фізики НАН України
Tags: cs
Subscribe
Comments for this post were disabled by the author