Categorical Foundations for CuTe Layouts
CuTe 布局的范畴基础 · 中文全文译文
- Colfax Research，2025 年 9 月 rev1 中文译文。
- 原文：本地 PDF · 作者页面 · 配套实现。
- 文库：Zotero 条目 · Zotero PDF。
校对记录。PDF 页码比原书印刷页码大 2。
全文目录
| 译文章节 | 原书页码 | PDF 页码 |
|---|---|---|
| 扉页、摘要与目录 | 扉页、摘要、1–2 | 1–4 |
| 第 1 章：引言 | 3–16 | 5–18 |
| 第 2.1 节：平坦布局的基本定义与运算 | 17–34 | 19–36 |
| 第 2.1 节：合并、紧致性、补布局与可处理性 | 35–56 | 37–58 |
| 第 2.2 节：嵌套元组 | 57–65 | 59–67 |
| 第 2.3 节：布局 | 66–85 | 68–87 |
| 第 3.1 节：Tuple 范畴、编码与具象化 | 86–104 | 88–106 |
| 第 3.1 节：元组态射上的运算 | 105–122 | 107–124 |
| 第 3.2 节：Nest 范畴与细化 | 123–137 | 125–139 |
| 第 3.2 节：嵌套元组态射上的运算 | 138–145 | 140–147 |
| 第 4 章：计算 | 146–156 | 148–158 |
| 附录 A：范畴入门与参考文献 | 157–161 | 159–163 |
Layout and their algebra
原有空白笔记的这一小节保留为入口，正文对应第 2.1 节、第 2.2 节和第 2.3 节。
术语约定
| 原文 | 本译文 |
|---|---|
| layout / flat layout | 布局 / 平坦布局 |
| shape / stride / mode | 形状 / 步长 / 模态 |
| size / cosize / rank | 大小 / 余大小 / 秩 |
| nested tuple / profile | 嵌套元组 / 轮廓 |
| tractable / compact | 可处理 / 紧致 |
| coalesce / relative coalesce | 合并 / 相对合并 |
| complement | 补；对布局称补布局，对态射称补态射 |
| composition / logical division / logical product | 复合 / 逻辑除法 / 逻辑乘积 |
| category / morphism / functor | 范畴 / 态射 / 函子 |
| refinement / mutual refinement | 细化 / 共同细化 |
| realization / operad / pullback | 具象化 / 运算子（operad）/ 拉回 |
| colexicographic order | 余字典序 |
| congruent | 同形（轮廓相同） |
| pointed map / pointed set | 保基点映射 / 带基点集合 |
| divides / increasing / non-decreasing | 整除 / 严格递增 / 非递减 |
| product admissible | 乘积可容许 |