scientific article

zbMath0475.18006MaRDI QIDQ3931592

Christopher J. Mulvey, J. Wick Pelletier

Publication date: 1982

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1982__23_1_73_0

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

zbMATH Keywords

Hahn-Banach theoremlocaleGrothendieck toposspatial toposAlaoglu's theoreminternal normed spaces in a topos

Mathematics Subject Classification ID

Theorems of Hahn-Banach type; extension and lifting of functionals and operators (46A22) Projective and injective objects in functional analysis (46M10) Categorical logic, topoi (03G30) Topoi (18B25) Duality theory for topological vector spaces (46A20) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (8)

Unnamed Item ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Eliminating disjunctions by disjunction elimination ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ A globalization of the Hahn-Banach theorem ⋮ Unnamed Item ⋮ A globalisation of the Gelfand duality theorem ⋮ Locales in functional analysis

Cites Work

• Stone-Čech compactification of locales. II
• The Hahn-Banach theorem in a category of sheaves
• The Gleason cover of a topos. I
• Banach sheaves
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: