京东 11.11 红包
[CaCS22] Daniele Palombi - Classifying topoi in synthetic guarded domain theory
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
Jonathan Weinberger - Synthetic fibered (∞,1)-category theory
...
Peter Arndt - Ranges of functors and elementary classes via topos theory
...
[CT23] Graham Manuell - The representing localic groupoid of a geometric theory
...
Cisinski, Nguyen, Walde - 泛等有向类型论 (Univalent Directed Type theory), 第3部分
...
Lucas Mann - Representation Theory via 6-Functor Formalisms
...
[CaCS22] Guglielmo Nocera - The Exodromy Theorem
...
Morgan Rogers - A sketch of topological (semi-)Galois theory
...
[CaCS22] Josh Lalonde - Dialectical Mathematics: Lawvere and Hegel
...
[CaCS22] Kurt Stoeckl - A Koszul Operad for Wheeled Props
...
Constanze Roitzheim - Introduction to Chromatic Homotopy Theory I
...
Amir Akbar Tabatabai - 拓扑斯理论：独立性的统一方法
...
André Joyal - 同伦类型论: 逻辑, 范畴论与拓扑间的新桥梁
...
[CT23] Nathanael Arkor - The formal theory of relative monads
...
[CT23] Davide Trotta - Sheafification as a geometric tripos-to-topos adjunction
...
André Joyal - 拓扑斯的三种变体
...
Jens Hemelaer - An arithmetic topos for integer matrices (and other monoids)
...
[CaCS22] Vincent Moreau - From profinite words to profinite λ-terms
...
Dustin Clausen - 泛函分析的新基础
...
Matías Menni - Bi-directional models of “Radically Synthetic” Differential ...
...
Luca Mesiti - Grothendieck 2-topoi are elementary 2-topoi
...
Steve Vickers - Locales via bundles
...
Mathieu Anel - 包络∞-拓扑斯
...
Chris Heunen - Sheaf representation of monoidal categories
...
Grigorios Giotopoulos - Classical field theory in the topos of smooth sets
...
[CT23] Joshua Wrigley - When are there enough model isomorphisms? [...]
...
Askold Khovanskii - Topological Galois Theory
...
Cecilia Flori - 历史量子理论的拓扑斯表述
...
Matias Menni - 可判定对象和分子拓扑斯
...
Andrej Bauer - 可数实数集
...
Giuseppe Rosolini - 什么时候初等商完备化是一个拟拓扑斯
...
André Joyal - Higher sheaves
...
Dale Miller - From axioms to synthetic inference rules via focusing
...
Aurelien Sagnier - 迈向某些位处的算数址 (arithmetic sites)
...
Olivia Caramello - Grothendieck toposes as unifying 'bridges' in Mathematics
...
Don Zagier - Reduction theory and periods of modular forms
...
[CaCS22] Ruben Van Belle - A categorical proof of the Carathéodory extension ...
...
Ben Antieau - Azumaya algebras in motivic homotopy theory
...
Mathieu Anel - 拓扑斯在空间形式化中的地位
...
David Jaz Myers - 逻辑拓扑与公理凝聚性 (axiomatic cohesion)
...
[CT23] Vanessa Miemietz - Categorification in Representation Theory