Cover Image

Reflecting compact $T_1$-spaces into bounded distributive lattices

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gehrke, Mai, Pozzan, Elena, Viale, Matteo
Format:	Preprint
Published:	2024
Subjects:	General Topology Category Theory Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Codensity: Isbell duality, pro-objects, compactness and accessibility
by: Di Liberti, Ivan
Published: (2019)

Overlap Algebras as Almost Discrete Locales
by: Ciraulo, Francesco
Published: (2016)

Internal languages of locally cartesian closed $(\infty,1)$-categories
by: Cherradi, El Mehdi
Published: (2025)

Choice axioms and Postnikov completeness
by: Anel, Mathieu, et al.
Published: (2024)

Modal Fracture of Higher Groups
by: Myers, David Jaz
Published: (2021)

Higher presentable categories and limits
by: Aoki, Ko
Published: (2025)

Basic Category Theory
by: Leinster, Tom
Published: (2016)

Interpreting type theory in a quasicategory: a Yoneda approach
by: Cherradi, El Mehdi
Published: (2022)

Elementary $\infty$-toposes from type theory
by: Apol, Daniël, et al.
Published: (2025)

Higher geometric sheaf theories
by: Stenzel, Raffael
Published: (2022)

$2$-dimensional Lawvere theories: commutativity and lax phenomena
by: Perutka, Tomáš
Published: (2026)

Non-trivial higher homotopy of first-order theories
by: Campion, Tim, et al.
Published: (2023)

Path Types in Algebraic Type Theory
by: Awodey, Steve, et al.
Published: (2026)

The lattice of smooth sublocales as a Bruns-Lakser completion
by: Arrieta, Igor, et al.
Published: (2026)

On the axiomatisability of the dual of compact ordered spaces
by: Abbadini, Marco
Published: (2025)

The characterization for the sobriety of $L$-convex spaces
by: Wu, Guojun, et al.
Published: (2024)

Sober $L$-convex spaces and $L$-join-semilattices
by: Wu, Guojun, et al.
Published: (2024)

Exact categories of topological vector spaces with linear topology
by: Positselski, Leonid
Published: (2020)

The reflectivity of some categories of T0 spaces in domain theory
by: Shen, Chong, et al.
Published: (2021)

Manifold Diagrams for Higher Categories
by: Heidemann, Lukas
Published: (2024)

Epimorphisms and Acyclic Types in Univalent Foundations
by: Buchholtz, Ulrik, et al.
Published: (2024)

Canonical extensions via fitted sublocales
by: Jakl, Tomáš, et al.
Published: (2024)

The Quillen negation monoid of a category, and Schreier graphs of its action on classes of morphisms
by: Gavrilovich, Misha, et al.
Published: (2024)

Ordered Locales
by: Heunen, Chris, et al.
Published: (2023)

Euclidean interval objects in categories with finite products
by: Escardo, Martin, et al.
Published: (2025)

Pointfree topology and constructive mathematics
by: Manuell, Graham
Published: (2023)

Presentation of finite Reedy categories as localizations of finite direct categories
by: Sato, Genki
Published: (2025)

Continuous colorings on compact spaces
by: de Rancourt, Noé, et al.
Published: (2025)

The Filter Reflection Condition: Structural Symmetry and Categorical Equivalence in Topos Theory.
by: El Youssoufi M'nari, Omar
Published: (2025)

The Filter Reflection Condition: Structural Symmetry and Categorical Equivalence in Topos Theory.
by: El Youssoufi M'nari, Omar
Published: (2025)

Computably locally compact groups and their closed subgroups
by: Melnikov, Alexander G., et al.
Published: (2024)

Hereditarily indecomposable continua as generic mathematical structures
by: Bartoš, Adam, et al.
Published: (2022)

Sequentially compact separable spaces
by: Corral, Cesar, et al.
Published: (2025)

Finite coproducts, coregularity and coexactness for profinite interior algebras
by: De Berardinis, Matteo
Published: (2025)

Very Schwartz coidempotents and continuous spectrum
by: Aoki, Ko
Published: (2025)

A Classification of Six Functor Formalisms via Structured Spaces
by: Nabaala, Salash Tolan
Published: (2025)

A perspective on non-commutative frame theory
by: Kudryavtseva, Ganna, et al.
Published: (2014)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
by: Abbadini, Marco, et al.
Published: (2022)

A categorification of representations of $U_q(\mathfrak{gl}_{1|1})$
by: Oblomkov, Alexei, et al.
Published: (2025)

A note on computable étale spaces
by: de Brecht, Matthew
Published: (2026)