我们感谢支持
西蒙斯基金会和会员机构。

类别理论

最近提交的作者和标题

[共19篇:研究-]
[每页显示多达25个条目:更少的|更多的]

2021年5月7日星期五

[1] 必威精装版App西汉姆联arXiv: 2105.02561(pdf,ps,其他]
标题:通过导出单射导出t结构的Gabriel-Popescu定理
评论:43页,欢迎评论
主题: 范畴论(math.CT);k理论与同调(math.KT)
[2] 必威精装版App西汉姆联arXiv: 2105.02549(pdf,ps,其他]
标题:外三角范畴的Gorenstein派生函子
作者: Zhenggang他
评论:必威精装版App西汉姆联arXiv管理注意:与文本重叠必威精装版App西汉姆联arXiv: 2011.14552
主题: 范畴论(math.CT)
[3] 必威精装版App西汉姆联arXiv: 2105.02285(pdf,ps,其他]
标题:稳定$\infty$-categories的本地化和完成
主题: 范畴论(math.CT);代数几何(math.AG);代数拓扑(math.AT)
[4] 必威精装版App西汉姆联arXiv: 2105.02639(cross-list from math.PR) [pdf,ps,其他]
标题:绝对概率中的德菲内蒂定理
评论:30页,1图
主题: 概率(math.PR);计算机科学中的逻辑(cs.LO);范畴论(math.CT);统计理论(math.ST)

2021年5月6日星期四

[5] 必威精装版App西汉姆联arXiv: 2105.01724(pdf,其他]
标题:合成纤维$(\infty,1)$-类别理论
评论:欢迎评论
主题: 范畴论(math.CT);计算机科学中的逻辑(cs.LO);代数拓扑(math.AT);逻辑(math.LO)
[6] 必威精装版App西汉姆联arXiv: 2105.02159(cross-list from math.GR) [pdf,ps,其他]
标题:零的完美半群和$S$-行为的类别
主题: 群论(math.GR);范畴论(math.CT)
[7] 必威精装版App西汉姆联arXiv: 2105.02156(cross-list from cs.PL) [pdf,其他]
标题:捆类中的递归和序列
主题: 编程语言(cs.PL);计算机科学中的逻辑(cs.LO);范畴论(math.CT)
[8] 必威精装版App西汉姆联arXiv: 2105.01814(cross-list from math.QA) [pdf,ps,其他]
标题:弱群理论编织熔合范畴的最小扩展与结构
评论:14页,欢迎评论
主题: 量子代数(math.QA);范畴论(math.CT);表象理论(math.RT)
[9] 必威精装版App西汉姆联arxiv:2105.01690(cross-list from math.GT) [pdf,其他]
标题:关系之间距离的界限
评论:29页,3个数字
主题: 几何拓扑(math.GT);范畴论(math.CT)

2021年5月5日,星期三

[10] 必威精装版App西汉姆联arXiv: 2105.01462(pdf,ps,其他]
标题:通过行动丰富多类别
评论:45页。必威精装版App西汉姆联arXiv管理注意:与文本重叠必威精装版App西汉姆联arXiv: 2006.02978
主题: 范畴论(math.CT)
[11] 必威精装版App西汉姆联arXiv: 2105.01135(pdf,ps,其他]
标题:由正常波段产生的正常类别中的偏序
Journal-ref:数学进展:科学杂志,第9卷,2020年
主题: 范畴论(math.CT);群论(math.GR)
[12] 必威精装版App西汉姆联arXiv: 2105.01143(从math.AT交叉列表)[pdf,ps,其他]
标题:维度1中因子同调的轨迹
评论:29页
主题: 代数拓扑(math.AT);范畴论(math.CT);k理论与同调(math.KT);量子代数(math.QA)

2021年5月4日星期二

[13] 必威精装版App西汉姆联arXiv: 2105.00772(pdf,ps,其他]
标题:拓扑半类作用的拓扑
作者: 摩根罗杰斯
评论:55页。由Marie Sklodowska-Curie行动联合资助的INdAM- dp - cofund -2015数学和/或应用博士项目,资助编号713485
主题: 范畴论(math.CT);环与代数(math.RA)
[14] 必威精装版App西汉姆联arXiv: 2105.00399(pdf,ps,其他]
标题:线性逻辑范畴约简系统合流的语义证明
作者: Ryu长谷川
主题: 范畴论(math.CT);编程语言(cs.PL)
[15] 必威精装版App西汉姆联arXiv: 2105.00283(pdf,ps,其他]
标题:类型理论的辩证法模式
Journal-ref:LICS '18:第33届ACM/IEEE年度计算机科学逻辑研讨会论文集2018年7月
主题: 范畴论(math.CT);计算机科学逻辑
[16] 必威精装版App西汉姆联arXiv: 2105.00701(cross-list from math.RT) [pdf,其他]
标题:蔡斯引理及其上下文
作者: 亨宁krause.
评论:6页,Bielefeld大学对“代表理论”系列的贡献
主题: 表象理论(math.RT);范畴论(math.CT);环与代数(math.RA)
[17] 必威精装版App西汉姆联arXiv: 2105.00024(cross-list from cs.LO) [pdf,其他]
标题:类型是内部的$\infty$-Groupoids
评论:LICS 2021文章的扩展版本
主题: 计算机科学逻辑;范畴论(math.CT)

2021年5月3日星期一

[18] 必威精装版App西汉姆联arXiv: 2104.14877(pdf,ps,其他]
标题:作为普遍结构的图遍历
评论:21页(包括附录9页),3图
主题: 范畴论(math.CT);离散数学(cs.DM);计算机科学逻辑
[19] 必威精装版App西汉姆联arXiv: 2104.14686(cross-list from cs.LO) [pdf,ps,其他]
标题:弦图重写理论II:用对称Monoidal结构重写
主题: 计算机科学逻辑;范畴论(math.CT);逻辑(math.LO)
[共19篇:研究-]
[每页显示多达25个条目:更少的|更多的]

禁用MathJax(什么是mathjax?)

链接:必威精装版App西汉姆联,接口形式,找到,数学,,2105,联系,help(访问密钥信息)