Copertina

Overlap Algebras as Almost Discrete Locales

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Ciraulo, Francesco
Natura:	Preprint
Pubblicazione:	2016
Soggetti:	Logic Category Theory General Topology
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Reflecting compact $T_1$-spaces into bounded distributive lattices
di: Gehrke, Mai, et al.
Pubblicazione: (2024)

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

Basic Category Theory
di: Leinster, Tom
Pubblicazione: (2016)

Modal Fracture of Higher Groups
di: Myers, David Jaz
Pubblicazione: (2021)

Higher presentable categories and limits
di: Aoki, Ko
Pubblicazione: (2025)

Choice axioms and Postnikov completeness
di: Anel, Mathieu, et al.
Pubblicazione: (2024)

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

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

Higher geometric sheaf theories
di: Stenzel, Raffael
Pubblicazione: (2022)

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

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

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

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

Ordered Locales
di: Heunen, Chris, et al.
Pubblicazione: (2023)

Manifold Diagrams for Higher Categories
di: Heidemann, Lukas
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

Presentation of finite Reedy categories as localizations of finite direct categories
di: Sato, Genki
Pubblicazione: (2025)

Topological Dualities for Modal Algebras
di: Collinson, Matthew
Pubblicazione: (2026)

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

From Hopf Algebras in Model Categories to Hopf Algebras in $\infty$-categories
di: Klang, Inbar, et al.
Pubblicazione: (2025)

Very Schwartz coidempotents and continuous spectrum
di: Aoki, Ko
Pubblicazione: (2025)

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

The Algebra of Categorical Spectra
di: Masuda, Naruki
Pubblicazione: (2026)

Rigid Algebras and Cospans
di: Neuhauser, Leor
Pubblicazione: (2025)

Algebras for enriched $\infty$-operads
di: Haugseng, Rune
Pubblicazione: (2019)

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

Localic Relations with Open Cones
di: van der Schaaf, Nesta
Pubblicazione: (2026)

Diagrammatic Polyhedral Algebra
di: Bonchi, Filippo, et al.
Pubblicazione: (2021)

Global Picard Spectra and Borel Parametrized Algebra
di: Pützstück, Phil
Pubblicazione: (2025)

Fully-Dualizable and Invertible $\mathcal{E}_n$-Algebras
di: Vazquez, Pablo Bustillo
Pubblicazione: (2026)

Diagrammatic Algebra of First Order Logic
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)