Polynomial Functors @ Topos (Wednesday)

Polynomial Functors @ Topos (Wednesday)

Topos Institute

55 лет назад

946 Просмотров
00:00:00 Helle Hvid Hansen: Coalgebras and their Modal Logics: Polynomial Functors and Beyond
00:59:59 Bart Jacobs: Lifting of Polynomial Functors for Logical Reasoning
02:00:58 David Spivak: The Polynomial Abacus
03:02:03 Richard Garner: Polynomials in Categories with Pullbacks

Workshop on Polynomial Functors homepage: https://topos.site/p-func-2021-workshop
Ссылки и html тэги не поддерживаются

Комментарии:

Сейчас смотрят
Polynomial Functors @ Topos (Wednesday) 3:56:26
Polynomial Functors @ Topos (Wednesday) Topos Institute
9 Powerful Ways to Lower your Blood Sugar Naturally 00:59
9 Powerful Ways to Lower your Blood Sugar Naturally Nutriread
ITEC Project 03:17
ITEC Project Crystal Charity
ANNA RUBY FALLS | GERMAN VILLAGE, HELEN GEORGIA 10:10
ANNA RUBY FALLS | GERMAN VILLAGE, HELEN GEORGIA Maria's Travel And Adventure
Kelly Clarkson Reveals Reason For Not Dating And For Being Happy Being Single 00:18
Kelly Clarkson Reveals Reason For Not Dating And For Being Happy Being Single Ajumma Curls
Panchakarma Programs at Lakshmi Ayurveda 02:04
Panchakarma Programs at Lakshmi Ayurveda Lakshmi Ayurveda
Amazing websites (part 22) find color palettes to use in your designs #aitools #websites #colors 00:11
Amazing websites (part 22) find color palettes to use in your designs #aitools #websites #colors Masked Ai guy
UB44 BOXING 05 ARENA A CHAN ZHAO JIE VS MUHAMMAD SYAFIQ BIN ISMAIL 10:35
UB44 BOXING 05 ARENA A CHAN ZHAO JIE VS MUHAMMAD SYAFIQ BIN ISMAIL UltimateBEATDOWNx
J-Rod and Trent Grisham are even now. #Yankees 00:17
J-Rod and Trent Grisham are even now. #Yankees Yankees Avenue
Sweet Dreams Painters USA 04:54
Sweet Dreams Painters USA Luis Guillermo Vicuña
Assassin's Creed : EA Origins 05:52
Assassin's Creed : EA Origins videogamedunkey
How The 2000s Biggest Sc-Fi Hit Destroyed Itself 13:49
How The 2000s Biggest Sc-Fi Hit Destroyed Itself Giant Freakin Robot