埃里克·芬斯特
人员信息
优化列表
2020年–今天
2024 【c7】 埃里克·芬斯特 , 亚历克斯·赖斯 , 杰米·维卡里 :
严格结合和酉∞范畴的语法。 低收入国家 2024 : 34:1-34:13 2023 [i7] 埃里克·芬斯特 , 亚历克斯·赖斯 , 杰米·维卡里 :
严格结合范畴和酉范畴作为广义代数理论。 CoRR公司 腹肌/2302.05303 ( 2023 ) 2022 【c6】 埃里克·芬斯特 , 大卫·雷特 , 杰米·维卡里 , 亚历克斯·赖斯 :
严格酉∞范畴的类型理论。 低收入国家 2022 : 48:1-48:12 2021 【c5】 埃里克·芬斯特 , 安托万·阿利乌克斯 , Matthieu Sozeau先生 :
类型是内部∞-群胚。 低收入国家 2021 : 1-13 【c4】 埃里克·芬斯特 , 塞缪尔·米姆拉姆 , 马克西姆·卢卡斯 , 托马斯·塞勒 :
同构型理论中多项式函子的笛卡尔双范畴。 MFPS公司 2021 : 67-83 [i6] 安托万·阿利乌克斯 , 埃里克·芬斯特 , 马蒂厄·索佐 :
类型为内部∞-群胚。 CoRR公司 abs/2105.00024 ( 2021 ) [i5] 蒂鲍特·本杰明 , 埃里克·芬斯特 , 塞缪尔·米姆拉姆 :
作为类型理论模型的球状弱ω-范畴。 CoRR公司 腹肌/2106.04475 ( 2021 ) [i4] 埃里克·芬斯特 , 亚历克斯·赖斯 , 杰米·维卡里 :
严格结合无限范畴的类型理论。 CoRR公司 abs/2109.01513 ( 2021 ) 2020 [i3] 埃里克·芬斯特 , 大卫·雷特 , 杰米·维卡里 :
严格酉∞范畴的类型理论。 CoRR公司 abs/2007.08307 ( 2020 )
2010 – 2019
2017 【c3】 埃里克·芬斯特 , 塞缪尔·米姆拉姆 :
弱ω-范畴的类型理论定义。 低收入国家 2017 : 1-12 [i2] 埃里克·芬斯特 , 塞缪尔·米姆拉姆 :
弱ω-范畴的一个类型理论定义。 CoRR公司 abs/1706.02866 ( 2017 ) 2016 【c2】 Kuen-Bang Hou(法沃尼亚) , 埃里克·芬斯特 , 丹尼尔·里卡塔 , 彼得·勒法努·卢姆斯代恩 :
同构型理论中Blakers-Massey连通性定理的机械化。 低收入国家 2016 : 565-574 [i1] Kuen-Bang Hou(法沃尼亚) , 埃里克·芬斯特 , 丹尼尔·里卡塔 , 彼得·勒法努·卢姆斯代恩 :
同伦类型理论中Blakers-Massey连通性定理的机械化。 CoRR公司 abs/1605.03227 ( 2016 ) 2014 【c1】 丹尼尔·里卡塔 , 埃里克·芬斯特 :
同伦类型理论中的Eilenberg-MacLane空间。 CSL-LICS公司 2014 : 66:1-66:9