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
    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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references