PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
[parent] presheaf of a topological basis (Definition)

Let $X$ be a topological space and let $\mathcal B$ be a basis of its topology. We can regard $\mathcal B$ as a category with objects being the open sets in $\mathcal B$ and arrows/morphisms between $U,V\in\mathcal B$ to exists only if $U\subset V$ , and where the only element of $\mathcal B(U,V)$ is the injection map $U\hookrightarrow V$ . Let now $\Ccal$ be a complete category, we now define the presheaf of $\Ccal$ -objects over the basis $\mathcal B$ of the topology of $X$ to be a contravariant functor $$\P:\mathcal B\rightarrow \Ccal$$




Anyone with an account can edit this entry. Please help improve it!

"presheaf of a topological basis" is owned by jocaps.
(view preamble | get metadata)

View style:

See Also: site


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: contravariant functor, presheaf, complete category, map, injection, open sets, objects, category, basis, topological space
There is 1 reference to this entry.

This is version 11 of presheaf of a topological basis, born on 2006-11-04, modified 2006-11-04.
Object id is 8519, canonical name is SomethingRelatedToSheaf.
Accessed 785 times total.

Classification:
AMS MSC18F20 (Category theory; homological algebra :: Categories and geometry :: Presheaves and sheaves)
 54B40 (General topology :: Basic constructions :: Presheaves and sheaves)
 14F05 (Algebraic geometry :: homology theory :: Vector bundles, sheaves, related constructions)

Pending Errata and Addenda
1. Please add more content.. by CWoo on 2009-03-23 19:16:01
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)