scientific article; zbMATH DE number 1555466
From MaRDI portal
Publication:4525542
zbMath0969.18004MaRDI QIDQ4525542
No author found.
Publication date: 8 February 2001
Full work available at URL: https://eudml.org/doc/121233
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
compact Hausdorff spacessubobject classifierproper mapsquantifierselementary topossynthetic domain theorylocally compact spacesopen spacesopen mapspretoposhigher order logicscontravariant powersetEuclidean principlemonadic adjunctionovert spaces
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
An axiomatic account of weak triquotient assignments in locale theory ⋮ Unnamed Item ⋮ An equational notion of lifting monad ⋮ Overlap Algebras as Almost Discrete Locales ⋮ The patch construction is dual to algebraic DCPO representation ⋮ Metric spaces in synthetic topology ⋮ A Hofmann-Mislove theorem for bitopological spaces ⋮ Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies ⋮ Sobriety for equilogical spaces ⋮ Local Compactness and the Baire Category Theorem in Abstract Stone Duality ⋮ A Hofmann-Mislove theorem for Bitopological Spaces
This page was built for publication:
