Cover Image

Pointfree topology and constructive mathematics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Manuell, Graham
Format:	Preprint
Published:	2023
Subjects:	General Topology Category Theory Logic 54-01, 18F70, 03F60
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Uniform locales and their constructive aspects
by: Manuell, Graham
Published: (2021)

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

Measure theory via Locales
by: Lehner, Georg
Published: (2025)

Stone Duality for Preordered Topological Spaces
by: Goubault-Larrecq, Jean
Published: (2026)

Scott locales
by: Resende, Pedro, et al.
Published: (2025)

Tietze extension does not always work in constructive mathematics if closed sets are defined as sequentially closed sets
by: Ding, Shun, et al.
Published: (2025)

Lectures on Condensed Mathematics
by: Scholze, Peter
Published: (2026)

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

Computably discrete represented spaces
by: Neumann, Eike, et al.
Published: (2025)

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

Local compactness in MT-algebras
by: Bezhanishvili, Guram, et al.
Published: (2024)

The DeMorganization of a locale
by: Arrieta, Igor
Published: (2024)

Joins of closed sublocales are not always a coframe
by: Arrieta, Igor
Published: (2025)

A Knaster--Reichbach type theorem for graph structures
by: Kubiś, Wiesław, et al.
Published: (2026)

Generalizing $β$- and $λ$-maps
by: Avilez, Ana Belén
Published: (2024)

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

McKinsey-Tarski algebras and Raney extensions
by: Bezhanishvili, Guram, et al.
Published: (2025)

Homeomorphisms between compact subsets of real numbers
by: Kusiński, Sławomir, et al.
Published: (2026)

The six operations in topology
by: Volpe, Marco
Published: (2021)

Algebraic $K$-theory of stably compact spaces
by: Lehner, Georg
Published: (2026)

Condensed mathematics through compactological spaces
by: Böhnlein, Franziska, et al.
Published: (2025)

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

Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)

Discontinuous actions on cones, joins, and $n$-universal bundles
by: Chirvasitu, Alexandru
Published: (2025)

On non-archimedean frames
by: Ávila, Francisco, et al.
Published: (2023)

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

Topologizing infinite quivers and their mutations
by: Grant, Benjamin
Published: (2026)

The directed Vietoris-Rips complex and homotopy and singular homology groups of finite digraphs
by: Milićević, Nikola, et al.
Published: (2024)

Aggregation functions as lax morphisms of quantales
by: Fructuoso-Bonet, Alejandro, et al.
Published: (2026)

Applications of Borel-definable homological algebra to locally compact groups
by: Lupini, Martino
Published: (2025)

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

On generic topological embeddings
by: Kubiś, Wiesław, et al.
Published: (2023)

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

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

On the structure of modal and tense operators on a boolean algebra
by: Bezhanishvili, Guram, et al.
Published: (2023)

The Complexity of Connectedness Relations on Polish Spaces
by: Hevessy, Michal, et al.
Published: (2026)

Hofmann-Mislove through the Lenses of Priestley
by: Bezhanishvili, G., et al.
Published: (2022)

Stone duality between condensed mathematics and algebraic geometry
by: Gregoric, Rok
Published: (2024)