The Hahn-Banach theorem in a category of sheaves

DOI10.1016/0022-4049(80)90021-3zbMath0438.46051OpenAlexW2046209511MaRDI QIDQ1141879

Charles W. Burden

Publication date: 1980

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(80)90021-3

zbMATH Keywords

Hahn-Banach theoremtopos of sheavesBanach bundlescategory of sheavesBanach sheavesinternal Banach spacesMacNeille reals

Mathematics Subject Classification ID

Methods of algebraic topology in functional analysis (cohomology, sheaf and bundle theory, etc.) (46M20) Projective and injective objects in functional analysis (46M10) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (10)

Unnamed Item ⋮ The Gleason cover of a topos. I ⋮ The Gleason cover of a topos. II ⋮ Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets ⋮ Banach sheaves ⋮ Banach Bundles of Continuous Functions and an Integral Representation Theorem ⋮ A globalization of the Hahn-Banach theorem ⋮ Unnamed Item ⋮ Locales in functional analysis ⋮ Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies

Cites Work

• Banach sheaves
• SHEAVES OF BANACH SPEACES
• On Constructive Fields
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Hahn-Banach theorem in a category of sheaves