从套索到Topos：导论及其在密码学中的Σ-协议应用视角
摘要
本文提供一份关于sheaf与topos的准备性介绍，旨在作为作者之前关于套索介绍的概念性延续，以及为后续arXiv论文《Grothendieck拓扑与sheaf论证密码学安全基础：攻击模型与Σ-协议的第一步》~\cite{InoueSecurity}提供背景。本文并非试图进行全面性的topos理论百科全书，而是发展展开那些最相关的部分，以便从基于套索的局部到全局推理，过渡到基于sheaf与topos的推理：Grothendieck拓扑、sheaf、site上的套索、下降、sheaf topoi、elementary topoi、Cartesian闭合结构、子对象分类器以及内部逻辑。目标不仅是提供动机，而是发展足够的真实的topos理论，使读者能够理解，既从直觉上也从结构上，为何后续的密码学框架~\cite{InoueSecurity}使用Grothendieck拓扑和sheaf论述语言。为提高本文的自包含性，我们还包含关于基本范畴论、Yoneda引理、极限与余极限、equalizer与coequalizer、Kan扩展、内部逻辑与直觉逻辑关系以及带解答的练习的大量附录。最终部分，我们解释这些思想如何为对Σ-协议的概念性理解奠定基础，特别是关于局部一致性、可模拟性以及从兼容局部数据到全局结构的过渡。
关键词
引用
@article{arxiv.2603.16274,
title = {From Torsors to Topoi: An Introduction with a View Toward $\Sigma$-Protocols in Cryptography},
author = {Takao Inoué},
journal= {arXiv preprint arXiv:2603.16274},
year = {2026}
}
备注
27 pages. Introductory but substantial note on torsors, sheaves, topoi, and internal logic, written as preparatory background for the author's sheaf-theoretic approach to cryptographic security and {\Sigma}-protocols. Includes appendices on category theory, Yoneda lemma, limits and colimits, Kan extensions, and exercises with solutions