Cover Image

The representing localic groupoid for a geometric theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Manuell, Graham, Wrigley, Joshua L.
Format:	Preprint
Published:	2023
Subjects:	Category Theory Algebraic Geometry Logic 18F10, 22A22, 03G30, 06D22, 18B25
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generic bundles over a localic category
by: Manuell, Graham, et al.
Published: (2026)

On topological groupoids that represent theories
by: Wrigley, Joshua
Published: (2023)

Topoi with enough points and topological groupoids
by: Wrigley, Joshua
Published: (2024)

Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)

Existentially closed models and locally zero-dimensional toposes
by: Kamsma, Mark, et al.
Published: (2024)

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

Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
by: Chen, Ruiyuan
Published: (2022)

Sites and Grothendieck toposes: an introduction
by: Caramello, Olivia, et al.
Published: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
by: Caramello, Olivia, et al.
Published: (2025)

Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)

Exponentiable Grothendieck categories in flat Algebraic Geometry
by: Di Liberti, Ivan, et al.
Published: (2021)

A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)

A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)

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

Uniform locales and their constructive aspects
by: Manuell, Graham
Published: (2021)

The Physical Mathematics of Segal Topoi and Strings
by: Gauthier, Renaud
Published: (2022)

The DeMorganization of a locale
by: Arrieta, Igor
Published: (2024)

The algebraic internal groupoid model of Martin-Löf type theory
by: Hughes, Calum
Published: (2025)

The weak Ramsey property and extreme amenability
by: Bartoš, Adam, et al.
Published: (2021)

On the lack of colimits in various categories arising in pointfree topology and algebraic logic
by: Abbadini, Marco, et al.
Published: (2025)

Raney extensions: a pointfree theory of T_0 spaces based on canonical extension
by: Suarez, Anna Laura
Published: (2024)

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

Homotopical algebra is not concrete
by: Loregian, Fosco, et al.
Published: (2017)

A classifying localic category for locally compact locales
by: Townsend, Christopher
Published: (2026)

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

McKinsey-Tarski algebras and Raney extensions
by: Bezhanishvili, Guram, et al.
Published: (2025)

Raney extensions of frames: topological aspects
by: Suarez, Anna Laura
Published: (2024)

Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)

Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)

The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)

Toposes of Topological Monoid Actions
by: Rogers, Morgan
Published: (2021)

Topological lax comma categories
by: Clementino, Maria Manuel, et al.
Published: (2025)

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

Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
by: Bezhanishvili, Guram, et al.
Published: (2022)

Existential completions and Herbrand's theorem
by: Wrigley, Joshua L.
Published: (2025)

Categories of bundles and categories of chains
by: Romeo, P G, et al.
Published: (2026)

Local compactness does not always imply spatiality
by: Bezhanishvili, G., et al.
Published: (2025)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

New examples of non-Fourier-Mukai exact functors via non-isomorphic octahedra
by: Canonaco, Alberto, et al.
Published: (2026)