Algebraic field theory; Theory; Mathematical models; Geometry; Differentialtopology; Mathematical spaces; Axioms; Logic preliminaries;
机译:关于K理论和三角分类的注释
机译:关于K理论和三角分类的注释
机译:三角类别的Popescu-Gabriel定理
机译:通过类别理论证明规划对角定理
机译:(新)直接乘积定理的新证明。
机译:定理证明实例和规则的做法流行病学
机译:三角测量分类的K理论III(a):心的定理