加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
小预层的同伦描述 Brice Le Grignou 2112.06092 math.CT 2021-12-14
富集范畴的共单子基变换 Branko Nikoli''c and Ross Street 1809.02356 math.CT 2021-12-10
在拉回存在的情况下的筛选余极限 Ruiyuan Chen 2109.12708 math.CT 2021-12-10
抽象构造的素谱 Alberto Facchini, Carmelo Antonio Finocchiaro, George Janelidze 2104.09840 math.CT 2021-12-02
局部右边伴随、双稳伪函子与Grothendieck拓扑的2-几何 Axel Osmond 2108.12697 math.CT 2021-11-19
区块链共识协议的拓扑视角 Michael Lambert 2111.07461 math.CT 2021-11-16
tt-几何中的关联层函子 James Rowe 2111.06233 math.CT 2021-11-12
Heyting值模型之间的诱导同态 Jos''e Goudet Alvim, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano 1910.08193 math.CT 2021-11-03
弱$ω$-范畴的Hom弱$ω$-范畴 Thomas Cottrell and Soichiro Fujii 2111.00439 math.CT 2021-11-02
非点化语境中的归一化器:极值分解的弱情况 Dominique Bourn 2110.14280 math.CT 2021-10-28
模态性和词法模态的特征刻画 J. Daniel Christensen, Egbert Rijke 2008.03538 math.CT 2021-10-19
在各种度量空间中展示Sierpinski三角形 Jayampathy Ratnayake, Annanthakrishna Manokaran, Romaine Jayewardene, Victoria Noquez, Lawrence S. Moss 2110.06916 math.CT 2021-10-19
关于双范畴的$infty$-宇宙 Emily Riehl and Mira Wattal 2108.11786 math.CT 2021-10-13
从依赖类型理论到高阶代数结构 Chaitanya Leena Subramaniam 2110.02804 math.CT 2021-10-07
关于关系模合流和双群体的相容交融 Benjamin Dupont, Philippe Malbos 1810.08184 math.CT 2021-10-05
正式anafunctor的基本构造 David Michael Roberts 1808.04552 math.CT 2021-09-24
笛卡尔框架 Scott Garrabrant, Daniel A. Herrmann, Josiah Lopez-Wild 2109.10996 math.CT 2021-09-24
关于正则范畴中偏序和等价关系的余笛像 Dominique Bourn 2109.11381 math.CT 2021-09-24
多对一多图与开拓集之间的等价性 C''edric Ho Thanh 1806.08645 math.CT 2021-09-23
两个范畴的故事:归纳群体和交叉连接 P. A. Azeef Muhammed and Mikhail V. Volkov 1901.05731 math.CT 2021-09-14
从Sigma-型到Grothendieck构造 Iosif Petrakis 2109.04239 math.CT 2021-09-10
双范畴的一致性、弛张函子与阴影 Cary Malkiewich and Kate Ponto 2109.01249 math.CT 2021-09-06
在$mathbf{Prof}$中,追踪的融合范畴作为代数结构 Nick Hu, Jamie Vicary 2109.00589 math.CT 2021-09-03
关于协同生成和有限余生成的S-作用元 Roghaieh Khosravi, Xingliang Liang, Mohammad Roueentan 2109.00344 math.CT 2021-09-02
内在的Schreier特殊对象 Andrea Montoli and Diana Rodelo and Tim Van der Linden 2102.05877 math.CT 2021-08-30