[论文解读] Limits in dagger categories

Chris Heunen, Martti Karvonen|Edinburgh Research Explorer|Mar 18, 2018

Intracranial Aneurysms: Treatment and Complications被引用 4

一句话总结

本文引入了在 dagger 范畴中尊重 dagger 结构的新极限概念，确保其唯一性至单位同构，并与对偶性相容。当双函子可伴随时，该极限与 dagger 上极限可交换，推广了已知结果，并统一了量子理论与范畴论中的特例。

ABSTRACT

We develop a notion of limit for dagger categories, that we show is suitable in the following ways: it subsumes special cases known from the literature; dagger limits are unique up to unitary isomorphism; a wide class of dagger limits can be built from a small selection of them; dagger limits of a fixed shape can be phrased as dagger adjoints to a diagonal functor; dagger limits can be built from ordinary limits in the presence of polar decomposition; dagger limits commute with dagger colimits in many cases.

研究动机与目标

• 在 dagger 范畴中定义一种尊重 dagger 结构的极限概念，涵盖已知特例如 dagger 乘积、等化子和核。
• 确保 dagger 极限不仅在同构意义下唯一，更在单位同构意义下唯一，以反映 dagger 范畴的内在对称性。
• 建立 dagger 极限与 dagger 上极限可交换的条件，将经典结果推广至 dagger 设置。
• 证明一大类 dagger 极限可由一组基本极限（如 dagger 等化子、乘积和交集）构造而成。
• 通过伴随函子对角函子，提供 dagger 伴随形式的极限表述，将经典范畴论扩展至 dagger 上下文。

提出的方法

• 提出一种新的 dagger 极限定义，要求极限锥与 dagger 结构相容，确保极限态射在对偶下保持不变。
• 使用单位同构概念强化唯一性，取代普通范畴论中的单纯同构，以反映 dagger 范畴的自对偶性质。
• 引入索引范畴之间可伴随的双函子概念，以确保在 dagger 设置下极限与上极限可交换。
• 在存在极分解的范畴（如 C*-范畴）中，应用极分解将普通极限构造为 dagger 极限，提供一种构造性方法。
• 通过证明 dagger 极限是 dagger 范畴的 dagger 2-范畴中对角函子的右伴随，建立 dagger 极限的 dagger 伴随表述。
• 采用“dagger 的方式”哲学：所有泛构造必须与 dagger 函子可交换，确保极限与上极限之间的协调性。

实验结果

研究问题

• RQ1 如何将普通范畴论中的极限概念推广至 dagger 范畴，使其尊重 dagger 结构？
• RQ2 在何种条件下，dagger 极限的唯一性可提升至单位同构而非仅同构？
• RQ3 在何种条件下，dagger 范畴中的 dagger 极限与 dagger 上极限可交换？
• RQ4 是否可由一组基本 dagger 极限（如 dagger 等化子与乘积）构建一大类 dagger 极限？
• RQ5 普通极限在何种程度上可通过极分解或其他结构性质转化为 dagger 极限？

主要发现

• dagger 极限在单位同构意义下唯一，这反映了 dagger 范畴的自对偶性质，并确保对偶下的协调性。
• 当且仅当范畴具有 dagger 等化子、dagger 乘积和 dagger 交集时，该范畴为 dagger 完全的（即对给定形状的所有 dagger 极限均存在）。
• dagger 极限可表征为 dagger 范畴的 dagger 2-范畴中对角函子的右伴随，扩展了经典伴随函子理论。
• 在具有极分解的范畴中，可通过 dagger 结构将普通极限升级为 dagger 极限，提供一种构造性方法。
• 当且仅当双函子 $ D: f{J} imes f{K} o f{C} $ 可伴随时，dagger 极限与 dagger 上极限可交换，此时典范比较态射为单位同构。
• 反例表明，若无伴随性，极限与上极限的顺序可能不交换，甚至非单位同构地不交换，如在有限维希尔伯特空间范畴中所示。