Imagen de Portada

From Torsors to Topoi: An Introduction with a View Toward $Σ$-Protocols in Cryptography

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Inoué, Takao
Formato:	Preprint
Publicado:	2026
Materias:	Category Theory Cryptography and Security 18F10, 18F20, 18N10, 03G30, 94A60
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

An Introduction to Torsors in Mathematics with a View Toward $Σ$-Protocols in Cryptography
por: Inoué, Takao
Publicado: (2026)

Logic and Concepts in the 2-category of Topoi
por: Di Liberti, Ivan, et al.
Publicado: (2025)

Generalised ultracategories and conceptual completeness of geometric logic
por: Hamad, Ali
Publicado: (2025)

Topoi with enough points
por: Di Liberti, Ivan, et al.
Publicado: (2024)

Bi-directional models of `radically synthetic' differential geometry
por: Menni, Matías
Publicado: (2024)

Indexed Grothendieck construction
por: Caviglia, Elena, et al.
Publicado: (2023)

2-stacks over bisites
por: Caviglia, Elena
Publicado: (2024)

The Physical Mathematics of Segal Topoi and Strings
por: Gauthier, Renaud
Publicado: (2022)

From Copying to Corelations via Ancestry Partitions
por: Santacana, Andreu Ballus
Publicado: (2025)

Grothendieck Topologies and Sheaf-Theoretic Foundations of Cryptographic Security: Attacker Models and $Σ$-Protocols as the First Step
por: Inoué, Takao
Publicado: (2026)

Principal 2-bundles and quotient 2-stacks
por: Caviglia, Elena
Publicado: (2024)

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
por: Nunes, Fernando Lucatelli, et al.
Publicado: (2024)

Non-singular maps in toposes with a local state classifier
por: Menni, Matí as
Publicado: (2025)

Presheaves and cocompletions in formal category theory
por: Arkor, Nathanael, et al.
Publicado: (2026)

Poset-enriched pretoposes and compact ordered spaces
por: Marquès, Jérémie, et al.
Publicado: (2025)

A comonad for Grothendieck fibrations
por: Emmenegger, Jacopo, et al.
Publicado: (2023)

Kripke-Joyal forcing for type theory and uniform fibrations
por: Awodey, S., et al.
Publicado: (2021)

Fractured Structures in Condensed Mathematics
por: Rasekh, Nima, et al.
Publicado: (2026)

Injectivity paucity in AB5 categories of oversize chains
por: Chirvasitu, Alexandru
Publicado: (2026)

Aspects of Condensed Mathematics -- From Abstract Nonsense to Ergodic Theory
por: Bihlmaier, Noa, et al.
Publicado: (2025)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
por: Mesiti, Luca
Publicado: (2024)

Cartesian double theories: A double-categorical framework for categorical doctrines
por: Lambert, Michael, et al.
Publicado: (2023)

Very-Well-Behaved Epireflections for Categories of Models of Sketches
por: Xarez, João J.
Publicado: (2025)

Toposes with enough points as categories of étale spaces
por: van Gool, Sam, et al.
Publicado: (2025)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
por: Inoué, Takao
Publicado: (2026)

Cells, convexity and contractibility in general categories
por: Das, Suddhasattwa
Publicado: (2026)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
por: Nunes, Fernando Lucatelli, et al.
Publicado: (2024)

Homodular pseudofunctors and bicategories of modules
por: Street, Ross
Publicado: (2026)

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
por: Inoué, Takao
Publicado: (2026)

Inner automorphisms as 2-cells
por: Hofstra, Pieter, et al.
Publicado: (2024)

Biased elementary doctrines and quotient completions
por: Cioffo, Cipriano Junior
Publicado: (2023)

The free bifibration on a functor
por: Clarke, Bryce, et al.
Publicado: (2025)

Logical Aspects of Virtual Double Categories
por: Nasu, Hayato
Publicado: (2025)

Functors Preserving Effective Descent Morphisms
por: Nunes, Fernando Lucatelli, et al.
Publicado: (2024)

On effective descent $\mathcal V$-functors and familial descent morphisms
por: Prezado, Rui
Publicado: (2023)

Multivariate functorial difference
por: Paré, Robert
Publicado: (2024)

On Brain as a Mathematical Manifold: Neural Manifolds, Sheaf Semantics, and Leibnizian Harmony
por: Inoué, Takao
Publicado: (2026)

$Sh(B)$-valued models of $(κ,κ)$-coherent categories
por: Kanalas, Kristóf
Publicado: (2023)

On the theories classified by an étendue
por: Wrigley, Joshua
Publicado: (2025)

Balanced systems for $\mathrm{Hom}$
por: Becerril, Víctor, et al.
Publicado: (2022)