The Hahn-Banach theorem in a category of sheaves (Q1141879)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Hahn-Banach theorem in a category of sheaves |
scientific article |
Statements
The Hahn-Banach theorem in a category of sheaves (English)
0 references
1980
0 references
Hahn-Banach theorem
0 references
category of sheaves
0 references
Banach bundles
0 references
internal Banach spaces
0 references
topos of sheaves
0 references
MacNeille reals
0 references
Banach sheaves
0 references
