机译:依赖类型理论和类别(包括pretopoi和topoi)之间的模块化对应关系
Univ Padua, Dipartimento Matemat Pura & Applicata, I-35131 Padua, Italy;
CARTESIAN CLOSED CATEGORIES; DISTRIBUTIVE CATEGORIES; SET-THEORY; CALCULUS;
机译:对数保形场理论,对数模块化张量类别和模块化形式
机译:共形场论,模函数和模态张量分类
机译:从顶点算子代数的表示理论到共形场论中的模量张量类别
机译:模块化机器人系统行为建模的一种新方法:基于Petri网和类别理论
机译:带圆规组,模量张量类别和组类别的Abelian Chern-Simons理论
机译:从顶点算子代数的表示理论到共形场论中的模量张量类别
机译:对数保形场理论,对数模块化张量类别和模块化形式