Image de couverture de livre

A note on computable étale spaces

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	de Brecht, Matthew
Format:	Preprint
Publié:	2026
Sujets:	Logic Category Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Categorifying computable reducibilities
par: Trotta, Davide, et autres
Publié: (2022)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
par: Spadetto, Matteo
Publié: (2023)

Topological Dualities for Modal Algebras
par: Collinson, Matthew
Publié: (2026)

Topologically valued transition structures
par: Collinson, Matthew
Publié: (2026)

A constructive approach to the double-categorical small object argument
par: Berg, Benno van den, et autres
Publié: (2025)

From Multirelations to Meet-Relations: A Relational Duality for Semilattices with Adjunctions
par: Zuluaga, William, et autres
Publié: (2026)

A monoidal category of dependently sorted algebraic theories I: syntax
par: Almeida, Daniel
Publié: (2025)

What can Topology tell us about Logical Complexity?
par: Kihara, Takayuki, et autres
Publié: (2026)

Condensed Sets and the Solovay Model
par: Bannister, Nathaniel, et autres
Publié: (2026)

Localic Relations with Open Cones
par: van der Schaaf, Nesta
Publié: (2026)

Canonical Extensions of Quantale-Enriched Categories
par: Kurz, Alexander, et autres
Publié: (2026)

Various topos of types constructions
par: Kanalas, Kristóf
Publié: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
par: Reizi, Higuchi Joaquim
Publié: (2025)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
par: Rogozin, Daniel
Publié: (2025)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
par: Abramsky, Samson, et autres
Publié: (2022)

Pure maps are strict monomorphisms
par: Kanalas, Kristóf
Publié: (2024)

Weak saturation and weak amalgamation property
par: Di Liberti, Ivan
Publié: (2017)

Stable first order theories as simplicial profinite sets
par: Gavrilovich, Misha
Publié: (2025)

De Morgan's law in toposes I
par: Caramello, Olivia, et autres
Publié: (2025)

Formal Model Theory & Higher Topology
par: Di Liberti, Ivan
Publié: (2020)

Quasitoposes as elementary quotient completions
par: Maietti, Maria Emilia, et autres
Publié: (2021)

Adding a constant and an axiom to a doctrine
par: Guffanti, Francesca
Publié: (2023)

Fraïssé limit and Ramsey Theorem: the case of MV-algebras and a categorical generalization
par: Russo, Ciro
Publié: (2025)

Duality for coalgebras for Vietoris and monadicity
par: Abbadini, Marco, et autres
Publié: (2023)

The category of propositional deductive systems
par: Russo, Ciro
Publié: (2025)

Positively closed $Sh(B)$-valued models
par: Kanalas, Kristóf
Publié: (2024)

Rich doctrines and Henkin's Theorem
par: Guffanti, Francesca
Publié: (2023)

Universal categories
par: Schoutens, Hans
Publié: (2025)

Displayed Type Theory and Semi-Simplicial Types
par: Kolomatskaia, Astra, et autres
Publié: (2023)

Finite coproducts, coregularity and coexactness for profinite interior algebras
par: De Berardinis, Matteo
Publié: (2025)

Classical Set Theory: Theory of Sets and Classes
par: Banakh, Taras
Publié: (2020)

Unstable independence from the categorical point of view
par: Kamsma, Mark, et autres
Publié: (2023)

On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
par: Forsman, David
Publié: (2024)

Gabriel-Ulmer Duality for Topoi, An Introduction
par: Pasqualone, Federica
Publié: (2024)

Left adjoint to precomposition in elementary doctrines
par: Guffanti, Francesca
Publié: (2023)

Etale algebras over finite Heyting algebras
par: Evgeny, Kuznetsov
Publié: (2024)

Reflecting compact $T_1$-spaces into bounded distributive lattices
par: Gehrke, Mai, et autres
Publié: (2024)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
par: de Jong, Tom, et autres
Publié: (2026)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

A categorical formulation of Kraus' paradox
par: Swan, Andrew W.
Publié: (2024)