[CT23] Jirí Adámek - Strongly Finitary Monads and Varieties of Algebras
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
[CT23] Ieke Moerdijk - Graph models for Eₙ-operads
...
[CT23] Nathanael Arkor - The formal theory of relative monads
...
[CT23] Graham Manuell - The representing localic groupoid of a geometric theory
...
[CT23] Simona Paoli - Weak units in double categories
...
[CT23] Rui Prezado - Effective descent for enriched categories
...
Semih Özlem - On the motivic Galois group of a number field
...
[CT23] Marcelo Fiore - Stabilized profunctors and stable species of structures
...
[CT23] Paolo Perrone - Universal properties in probability theory
...
[CT23] Luca Reggio - Resource-sensitive model theory: a categorical view
...
[CT23] Cipriano Junior Cioffo - Biased Elementary Doctrines and Quotient ...
...
Guram Bezhanishvili - Varieties of Heyting algebras: what we (still don't) know
...
[CT23] Nelson Martins-Ferreira - Normality for monoid monomorphisms
...
[CT23] Vanessa Miemietz - Categorification in Representation Theory
...
[CT23] Matías Menni - A "Basis Theorem" for 2-rigs and Rig Geometry
...
[CT23] Davide Trotta - Sheafification as a geometric tripos-to-topos adjunction
...
[CT23] Steve Awodey - Cartesian cubical model categories
...
[CT23] Joshua Wrigley - When are there enough model isomorphisms? [...]
...
Amritanshu Prasad - 物种, 第一讲
...
Robert Paré - The functorial difference operator
...
Bart Jacobs - De Finetti's construction as a categorical limit
...
Emily Riehl - 关于赋予不同事物相同名字的艺术
...
Ben Antieau - Azumaya algebras in motivic homotopy theory
...
Paul Dancstep - 什么是范畴论？数学的数学
...
Matteo Capucci - 更多范畴论为更多的控制论
...
Tomáš Perutka - Generalizing schemes using cone injectivity
...
Marco Abbadini - Positive MV-algebras
...
[Palmgren Memorial] Peter LeFanu Lumsdaine - 从setoid到E-范畴再到非饱和范畴
...
Davide Trotta - 广义存在完备化和应用
...
Alexander Efimov - 4/6 Dualizable categories and localizing motives
...
Ülo Reimaa - The fibration of algebras
...
Andrew Wiles - 朗兰兹纲领
...
Ismael Sierra - Homological stability of moduli spaces via E_k-algebras
...
[SYCO11] Daniela Petrisan - 语义学和自动机理论中effects的复合性
...
《抽象的乐趣》(The Joy of Abstraction) 读书会 - 第13章
...
《抽象的乐趣》(The Joy of Abstraction) 读书会 - 第10章
...
[SAG3] Hugo Moeneclaey - Stacks
...
Alexandre Miquel - Implicative algebras, first order completeness
...
Tobias Fritz - 何为概率论?
...
Hillel Furstenberg - 为什么我选择了数学
...
[CT23] Session in honour of Bill Lawvere