Imagen de Portada

On the theories classified by an étendue

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Wrigley, Joshua
Formato:	Preprint
Publicado:	2025
Materias:	Logic Category Theory 03G30 (Primary) 18F10, 18B25, 03C50 (Secondary)
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

On topological groupoids that represent theories
por: Wrigley, Joshua
Publicado: (2023)

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

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

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

Internal 1-topoi in 2-topoi
por: Helfer, Joseph
Publicado: (2024)

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

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

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

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

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

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

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

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

Arrow algebras
por: Berg, Benno van den, et al.
Publicado: (2023)

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

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

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
por: Maietti, Maria Emilia, et al.
Publicado: (2025)

Topoi with enough points and topological groupoids
por: Wrigley, Joshua
Publicado: (2024)

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

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

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

The étendue of a combinatorial space and its dimension
por: Menni, Matí as
Publicado: (2024)

Stratified Toposes
por: Zwanziger, Colin
Publicado: (2024)

Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
por: Kamio, Yuhi, et al.
Publicado: (2024)

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

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

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

A 2-categorical approach to the semantics of dependent type theory with computation axioms
por: Spadetto, Matteo
Publicado: (2025)

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

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

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

A category of arrow algebras for modified realizability
por: Tarantino, Umberto
Publicado: (2024)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
por: Lambert, Michael J.
Publicado: (2024)

Quotients, pure existential completions and arithmetic universes
por: Maietti, Maria Emilia, et al.
Publicado: (2023)

A Completeness Theorem for Topological Doctrines
por: Ghilardi, Silvio, et al.
Publicado: (2025)

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

On duality and model theory for polyadic spaces
por: van Gool, Sam, et al.
Publicado: (2022)

The biequivalence of path categories and axiomatic Martin-Löf type theories
por: Otten, Daniël, et al.
Publicado: (2025)