Precosheaves of pro-sets and abelian pro-groups are smooth (Q664690)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Precosheaves of pro-sets and abelian pro-groups are smooth |
scientific article |
Statements
Precosheaves of pro-sets and abelian pro-groups are smooth (English)
0 references
2 March 2012
0 references
The standard theory of sheaves of sets or of abelian groups depends heavily on the exactness properties of the categories \(\mathcal Set\) of sets and \(\mathcal Ab\) of abelian groups, such as the fact that filtered colimits commute with finite limits. The opposite categories of \(\mathcal Set\) and of \(\mathcal Ab\) do not share these properties, and so the resulting theory of \textit{cosheaves} is less rich than that of sheaves. The author's response to this problem is to replace these opposite categories by their Ind-completions (free completions under filtered colimits). This amounts to considering cosheaves of pro-sets or abelian pro-groups. The intended applications are to shape theory.
0 references
cosheaves
0 references
precosheaves
0 references
pro-sets
0 references
abelian pro-groups
0 references
pro-homotopy groups
0 references
pro-homology groups
0 references
shape theory
0 references