{"id":"arxiv/2603.16274","url":"https://arxiv.org/abs/2603.16274","tags":["math.CT","cs.CR"],"score":0,"title":"From Torsors to Topoi: An Introduction with a View Toward $Σ$-Protocols in Cryptography","domain":"math.CT","source":"arxiv","authors":["Takao Inoué"],"reviews":0,"subject":"math.CT","summary":"This paper provides a preparatory introduction to sheaves and topoi, written as a conceptual continuation of the author's earlier introduction to torsors and as preparatory background for the author's arXiv paper \\emph{Grothendieck Topologies and Sheaf-Theoretic Foundations of Cryptographic Security:\\ Attacker Models and $Σ$-Protocols as the First Step}~\\cite{InoueSecurity}. Rather than attempting an encyclopedic survey of all of topos theory, the exposition develops those parts of the subject that are most relevant for passing from torsor-based local-to-global reasoning to sheaf-theoretic…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-17","reactions":{}}