CuTe Layouts

阅读入口

• Categorical Foundations for CuTe Layouts：中文全文译文与原图
• 全文逐句校对记录与原文疑点
• 2025 年 9 月版原论文 PDF
• Zotero 条目 · PDF 阅读

原论文章节目录

• 扉页、摘要与目录
• 第 1 章：引言
  • 1.1 主要结果概述
  • 1.2 文章结构
  • 1.3 实现
  • 1.4 记号
• 第 2 章：布局及其代数
  • 2.1 平坦布局
    • 2.1.1 元组
    • 2.1.2 基本定义
    • 2.1.3 基本运算
    • 2.1.4 平坦合并
    • 2.1.5 紧致平坦布局
    • 2.1.6 补布局
    • 2.1.7 进一步的运算
    • 2.1.8 可处理平坦布局
  • 2.2 嵌套元组
    • 2.2.1 轮廓
    • 2.2.2 基本定义
    • 2.2.3 代入
    • 2.2.4 细化
  • 2.3 布局
    • 2.3.1 基本定义
    • 2.3.2 基本运算
    • 2.3.3 合并
    • 2.3.4 相对合并
    • 2.3.5 紧致布局
    • 2.3.6 补布局
    • 2.3.7 复合
    • 2.3.8 逻辑除法
    • 2.3.9 逻辑乘积
    • 2.3.10 可处理布局
• 第 3 章：布局的范畴
  • 3.1 Tuple 范畴
    • 3.1.1 基本定义
    • 3.1.2 从元组态射到平坦布局
    • 3.1.3 例子
    • 3.1.4 元组态射的具象化
    • 3.1.5 元组态射上的运算
  • 3.2 Nest 范畴
    • 3.2.1 基本定义
    • 3.2.2 从嵌套元组态射到布局
    • 3.2.3 例子
    • 3.2.4 嵌套元组态射的具象化
    • 3.2.5 细化
    • 3.2.6 嵌套元组态射上的运算
• 第 4 章：计算
  • 4.1 复合
    • 4.1.1 共同细化
    • 4.1.2 从共同细化到可复合态射
    • 4.1.3 复合算法
    • 4.1.4 例子
• 附录 A：范畴入门
  • A.1 什么是范畴？
  • A.2 什么是函子？
• 参考文献

相关术语见术语约定。

返回 GPU 编译与性能