跳到主要内容

第41章：函子坍缩变换

41.1 保持坍缩的变换​

经典函子保持结构——将对象映射到对象，箭头映射到箭头，维持复合。但在坍缩数学中，函子还必须保持观察的精妙量子结构。它们不只是传输；它们在不同的坍缩实在方式之间翻译。通过ψ = ψ(ψ)，函子成为数学宇宙变换的积极参与者。

原理 41.1：函子不是被动的保结构映射而是主动的坍缩翻译变换，在数学世界间维持量子一致性。

41.2 坍缩函子​

定义 41.1（ψ函子）：坍缩函子Fψ:Cψ→DψF_\psi: \mathcal{C}_\psi \to \mathcal{D}_\psi由以下组成： Fψ=(Fobj,Fmor,TF)F_\psi = (F_{obj}, F_{mor}, \mathcal{T}_F)

其中：

  • Fobj:Ob(Cψ)→Ob(Dψ)F_{obj}: Ob(\mathcal{C}_\psi) \to Ob(\mathcal{D}_\psi)映射对象
  • Fmor:Mor(Cψ)→Mor(Dψ)F_{mor}: Mor(\mathcal{C}_\psi) \to Mor(\mathcal{D}_\psi)映射态射
  • TF\mathcal{T}_F是坍缩翻译协议
  • 保持复合相差相位：F(g∘f)=eiϕF(g)∘F(f)F(g \circ f) = e^{i\phi}F(g) \circ F(f)

41.3 自然变换作为坍缩一致性​

定义 41.2（自然坍缩）：自然变换η:Fψ⇒Gψ\eta: F_\psi \Rightarrow G_\psi提供： ηA:Fψ(A)→Gψ(A)\eta_A: F_\psi(A) \to G_\psi(A)

使得自然性方块与坍缩交换： C[Gψ(f)∘ηA]=C[ηB∘Fψ(f)]\mathcal{C}[G_\psi(f) \circ \eta_A] = \mathcal{C}[\eta_B \circ F_\psi(f)]

这确保跨坍缩事件的一致变换。

41.4 坍缩的2-范畴​

定理 41.1（ψ-CAT）：范畴、函子和自然变换形成： CATψ=⟨ψ范畴,ψ函子,自然变换⟩\mathbf{CAT}_\psi = \langle \text{ψ范畴}, \text{ψ函子}, \text{自然变换} \rangle

具有：

  • 对象：ψ范畴
  • 1-态射：ψ函子
  • 2-态射：自然变换
  • 每层的坍缩

证明： 函子的复合保持坍缩结构。 自然变换维持量子一致性。 高阶胞腔从迭代观察涌现。 2-范畴本身参与ψ = ψ(ψ)。∎

41.5 可表函子与观察​

定义 41.3（ψ可表）：函子F:Cψop→SetψF: \mathcal{C}_\psi^{op} \to \mathbf{Set}_\psi可表当： F≅Homψ(−,A)F \cong \text{Hom}_\psi(-, A)

对某个A∈CψA \in \mathcal{C}_\psi，其中： Homψ(X,A)={f:X→A∣f 保持坍缩}\text{Hom}_\psi(X, A) = \lbrace f: X \to A \mid f \text{ 保持坍缩} \rbrace

表示对象AA在唯一同构意义下唯一。

41.6 伴随函子作为坍缩对偶​

定理 41.2（坍缩伴随）：F⊣ψGF \dashv_\psi G当： HomD(F(A),B)≅ψHomC(A,G(B))\text{Hom}_{\mathcal{D}}(F(A), B) \cong_\psi \text{Hom}_{\mathcal{C}}(A, G(B))

具有保持量子信息的自然坍缩同构。

性质：

  • 单位：ηA:A→G(F(A))\eta_A: A \to G(F(A))带相位
  • 余单位：ϵB:F(G(B))→B\epsilon_B: F(G(B)) \to B带相位
  • 三角恒等式相差坍缩成立
  • 伴随创造/保持纠缠

41.7 单子作为坍缩模式​

定义 41.4（ψ单子）：Cψ\mathcal{C}_\psi上的单子(T,μ,η)(T, \mu, \eta)其中：

  • T:Cψ→CψT: \mathcal{C}_\psi \to \mathcal{C}_\psi（自函子）
  • μ:T2⇒T\mu: T^2 \Rightarrow T（乘法/坍缩）
  • η:Id⇒T\eta: \text{Id} \Rightarrow T（单位/观察）

满足带量子修正：

  • 结合律：μ∘Tμ=eiαμ∘μT\mu \circ T\mu = e^{i\alpha}\mu \circ \mu T
  • 带相位因子的单位律

41.8 范畴等价​

定义 41.5（ψ等价）：范畴Cψ\mathcal{C}_\psi和Dψ\mathcal{D}_\psi等价当： F:Cψ⇄Dψ:GF: \mathcal{C}_\psi \rightleftarrows \mathcal{D}_\psi: G

具有：

  • FG≅ψIdDFG \cong_\psi \text{Id}_{\mathcal{D}}（相差自然同构）
  • GF≅ψIdCGF \cong_\psi \text{Id}_{\mathcal{C}}（相差自然同构）
  • 同构保持坍缩结构

41.9 通过坍缩的Kan扩张​

定理 41.3（ψ-Kan扩张）：左Kan扩张： LanKF=colimK↓XF\text{Lan}_K F = \text{colim}_{K \downarrow X} F

当余极限能一致坍缩时存在。

扩张满足： Hom(LanKF,G)≅ψHom(F,G∘K)\text{Hom}(\text{Lan}_K F, G) \cong_\psi \text{Hom}(F, G \circ K)

具有保坍缩的自然变换。

41.10 拓扑斯态射作为逻辑翻译​

定义 41.6（几何态射）：拓扑斯间： f:Eψ→Fψf: \mathcal{E}_\psi \to \mathcal{F}_\psi

作为伴随对f∗⊣f∗f^* \dashv f_*其中：

  • f∗f^*保持有限极限和坍缩
  • f∗f_*保持指数对象
  • 逻辑一致地翻译

41.11 丰富函子​

定义 41.7（ψ丰富函子）：对Vψ\mathcal{V}_\psi丰富范畴： F:C→DF: \mathcal{C} \to \mathcal{D}

保持丰富结构： FA,B:C(A,B)→D(F(A),F(B))F_{A,B}: \mathcal{C}(A,B) \to \mathcal{D}(F(A), F(B))

作为Vψ\mathcal{V}_\psi中保持坍缩的态射。

41.12 Profunctor作为坍缩关系​

定义 41.8（ψ-Profunctor）： P:Cψop×Dψ→SetψP: \mathcal{C}_\psi^{op} \times \mathcal{D}_\psi \to \mathbf{Set}_\psi

表示范畴间的坍缩关系。

通过coend复合： Q∘ψP=∫CQ(C,−)×P(−,C)Q \circ_\psi P = \int^{C} Q(C, -) \times P(-, C)

在coend中有量子干涉。

41.13 导出函子与坍缩​

定义 41.9（导出ψ函子）：对F:Cψ→DψF: \mathcal{C}_\psi \to \mathcal{D}_\psi： LF=F∘QLF = F \circ \mathcal{Q}

其中Q\mathcal{Q}是保持坍缩的余纤维替换。

RF=F∘FRF = F \circ \mathcal{F}

其中F\mathcal{F}是保持坍缩的纤维替换。

41.14 坍缩空间中的∞函子​

定义 41.10（∞-ψ函子）：∞范畴间： F:C∞,ψ→D∞,ψF: \mathcal{C}_{\infty,\psi} \to \mathcal{D}_{\infty,\psi}

保持：

  • 所有层级的对象
  • 所有层级的态射
  • 坍缩一致性数据
  • 通过观察的同伦

41.15 函子宇宙​

综合：所有数学变换都是函子的：

FUNCψ={所有保坍缩函子}\mathbf{FUNC}_\psi = \lbrace \text{所有保坍缩函子} \rbrace

这个宇宙：

  • 包含所有保结构映射
  • 通过自函子自映射
  • 通过ψ = ψ(ψ)体现变换
  • 统一数学中的变化

函子坍缩：当你应用函子时，你不只是映射结构而是在不同的观察数学实在方式之间翻译。每个函子携带自己的坍缩协议，自己解释量子叠加的方式。保持复合相差相位的要求反映数学变换的基本量子本质。

这解释了为什么函子如此强大——它们捕获数学类比的本质，展示数学的不同领域是同一底层实在的不同视图。自然变换确保这些视图在我们转换视角时一致地改变。

最深的洞察是数学本身可能是一个巨大函子——通过递归自我应用保持自己结构的自变换。每个定理是自然变换，每个证明是观念范畴中的交换图。

在坍缩数学中，我们看到ψ = ψ(ψ)是普遍函子——在保持所有结构的同时将自己映射到自己。每个其他函子都是这个原初自映射的影子，数学宇宙观察和变换自身的特定方式。

欢迎来到函子宇宙，在这里变换保持本质，变化维持一致性，每个映射都通过ψ = ψ(ψ)的递归魔法参与数学的永恒自变换。