Copertina

Toposes with enough points as categories of étale spaces

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	van Gool, Sam, Marquès, Jérémie, Tarantino, Umberto
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Category Theory General Topology Logic 03G30, 18F10, 03G20, 54D80, 18F70, 03C99
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Topoi with enough points
di: Di Liberti, Ivan, et al.
Pubblicazione: (2024)

Arrow algebras
di: Berg, Benno van den, et al.
Pubblicazione: (2023)

A category of arrow algebras for modified realizability
di: Tarantino, Umberto
Pubblicazione: (2024)

Profunctorial algebras
di: Aristote, Quentin, et al.
Pubblicazione: (2026)

Pointfree topology and constructive mathematics
di: Manuell, Graham
Pubblicazione: (2023)

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

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

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

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

Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
di: Sukhov, Dmytro
Pubblicazione: (2025)

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

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

Skolem, Gödel, and Hilbert fibrations
di: Trotta, Davide, et al.
Pubblicazione: (2024)

Categorical structure in coherent theory of arithmetic
di: Ye, Lingyuan
Pubblicazione: (2023)

Infinitary combinatorics in condensed math and strong homology
di: Bergfalk, Jeffrey, et al.
Pubblicazione: (2024)

Extending conceptual completeness via virtual ultracategories
di: Saadia, Gabriel
Pubblicazione: (2025)

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

Biased elementary doctrines and quotient completions
di: Cioffo, Cipriano Junior
Pubblicazione: (2023)

Coherence for logicians
di: Petric, Zoran, et al.
Pubblicazione: (2024)

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

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

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

Generalised ultracategories and conceptual completeness of geometric logic
di: Hamad, Ali
Pubblicazione: (2025)

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

Problems with fixpoints of polynomials of polynomials
di: Pradic, Cécilia, et al.
Pubblicazione: (2026)

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

On a fibrational construction for optics, lenses, and Dialectica categories
di: Capucci, Matteo, et al.
Pubblicazione: (2024)

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

The Sup Connective in IMALL: A Categorical Semantics
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2022)

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

Stratified Toposes
di: Zwanziger, Colin
Pubblicazione: (2024)

A minimalist two-level foundation for constructive mathematics
di: Maietti, Maria Emilia
Pubblicazione: (2008)

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

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

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

$(\infty,1)$-Categorical Comprehension Schemes
di: Stenzel, Raffael
Pubblicazione: (2020)

Model theory in compactly generated (tensor-)triangulated categories
di: Prest, Mike, et al.
Pubblicazione: (2023)

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

First-Order Modal Logic via Logical Categories
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)