scientific article; zbMATH DE number 1770056

zbMath1008.18005MaRDI QIDQ4540525

No author found.

Publication date: 25 July 2002

Full work available at URL: https://eudml.org/doc/122465

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

injective objecttyped lambda calculusBeck's theoremlocally compact spacesaxiom of comprehensionsubspace topologysubtypemonadic adjunctionnucleus of a locale

Mathematics Subject Classification ID

Function spaces in general topology (54C35) Categorical logic, topoi (03G30) Categorical methods in general topology (54B30) Frames, locales (06D22) Stone spaces (Boolean spaces) and related structures (06E15) Abelian categories, Grothendieck categories (18E10) Local compactness, (sigma)-compactness (54D45) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (8)

Unnamed Item ⋮ Equilogical spaces and algebras for a double-power monad ⋮ Unnamed Item ⋮ Sobriety for equilogical spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Local Compactness and the Baire Category Theorem in Abstract Stone Duality ⋮ Injectivity and sections

This page was built for publication: