Cosheafification

Publication date: 14 February 2017

Abstract: It is proved that for any Grothendieck site

X

, there exists a coreflection (called

m a t h b f c o s h e a f i f i c a t i o n

) from the category of precosheaves on

X

with values in a category

m a t h b f K

, to the full subcategory of cosheaves, provided either

m a t h b f K

or

m a t h b f K^{o p}

is locally presentable. If

m a t h b f K

is cocomplete, such a coreflection is built explicitly for the (pre)cosheaves with values in the category

m a t h b f P r o % l e f t (m a t h b f K i g h t)

of pro-objects in

m a t h b f K

. In the case of precosheaves on topological spaces, it is proved that any precosheaf with values in

m a t h b f P r o l e f t (m a t h b f K i g h t)

is

m a t h b f s m o o t h

, i.e. is strongly locally isomorphic to a cosheaf. Constant cosheaves are constructed, and there are established connections with shape theory.

Full work available at URL: https://arxiv.org/abs/1605.01555

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

Cited In (10)

This page was built for publication: Cosheafification