Cover Image

On topological groupoids that represent theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Wrigley, Joshua
Format:	Preprint
Published:	2023
Subjects:	Category Theory Algebraic Geometry Logic 03G30 (Primary) 18B25, 22A22 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

The representing localic groupoid for a geometric theory
by: Manuell, Graham, et al.
Published: (2023)

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

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

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

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

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

Connectedness through decidable quotients
by: Hernández, Enrique Ruiz, et al.
Published: (2023)

Some Properties of Internal Locale Morphisms Externalised
by: Wrigley, Joshua
Published: (2023)

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

Atomic Toposes with Co-Well-Founded Categories of Atoms
by: Marquès, Jérémie
Published: (2024)

Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)

Geometric differentiation of simplicial manifolds
by: Cabrera, Alejandro, et al.
Published: (2026)

Stratified Toposes
by: Zwanziger, Colin
Published: (2024)

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

Tininess and right adjoints to exponentials
by: Hernández, Enrique Ruiz, et al.
Published: (2026)

A category of arrow algebras for modified realizability
by: Tarantino, Umberto
Published: (2024)

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

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

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

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

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

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

Ultracategories via Kan extensions of relative monads
by: Tarantino, Umberto, et al.
Published: (2025)

A $j$-translation with Kripke forcing relation
by: Nakata, Satoshi
Published: (2026)

Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)

Remarks on the structure and integrability of LA-groups
by: Angulo, Camilo
Published: (2026)

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

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

Tropical functions on a skeleton
by: Ducros, Antoine, et al.
Published: (2022)

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

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

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

Classifying Infinity Topoi via Weighted Limits
by: Di Liberti, Ivan, et al.
Published: (2025)

Extending conceptual completeness via virtual ultracategories
by: Saadia, Gabriel
Published: (2025)

On the Existence and Disjunction Properties in Structural Set Theory
by: Saving, Mark
Published: (2023)

Combinatorics in (2,1)-categories
by: Zehr, Krista
Published: (2025)

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

Limits in categories of étale groupoids and pseudogroups
by: Taylor, Jonathan
Published: (2025)

On logical parameterizations and functional representability in local set theories
by: Hernández, Enrique Ruiz, et al.
Published: (2021)