:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Menni, Matí as
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Category Theory 18F10, 18B25, 03G30, 14F06
Accesso online:	https://arxiv.org/abs/2505.07131
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

The least subtopos containing the discrete skeleton of $Ω$
di: Menni, Matí as
Pubblicazione: (2024)

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

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

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

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

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

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

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

Grothendieck Galois theory and étale exodromy
di: de Bruyn, Remy van Dobben
Pubblicazione: (2024)

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

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

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

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

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

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

The category of topological spaces and open maps does not have products
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

From Torsors to Topoi: An Introduction with a View Toward $Σ$-Protocols in Cryptography
di: Inoué, Takao
Pubblicazione: (2026)

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

Topological lax comma categories
di: Clementino, Maria Manuel, et al.
Pubblicazione: (2025)

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

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

Internal 1-topoi in 2-topoi
di: Helfer, Joseph
Pubblicazione: (2024)

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

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

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

Quotient toposes of discrete dynamical systems
di: Hora, Ryuya, et al.
Pubblicazione: (2023)

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

Indexed Grothendieck construction
di: Caviglia, Elena, et al.
Pubblicazione: (2023)

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

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

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

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

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

Fractured Structures in Condensed Mathematics
di: Rasekh, Nima, et al.
Pubblicazione: (2026)

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

Motivic classifying $\infty$-topoi and spectral stacks
di: Kato, Yuki
Pubblicazione: (2017)

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

A classifying localic category for locally compact locales
di: Townsend, Christopher
Pubblicazione: (2026)