# nLab strict ind-object

Contents

category theory

## Applications

#### Limits and colimits

limits and colimits

# Contents

## Definition

If $C$ is a category then an ind-object $x\in Ind(C)$ is a strict ind-object (alias essentially monomorphic ind-object) if it can be represented in $Ind(C)$ as (the apex of) a colimit of a small filtered diagram (whose objects are in $C$ and) whose morphisms are specifically monomorphisms in $C$.

Dually, strict pro-objects (alias essentially epimorphic pro-objects) are limits of small cofiltered diagrams involving only epimorphisms.

## References

• Alexandre Grothendieck, Jean-Louis Verdier, Prefaisceaux, in Theorie de Topos et Cohomologie Etale de Schemas 1971

• David Blanc, Colimits for the pro-category of towers of simplicial sets, Cahiers de Topologie et Géométrie Différentielle Catégoriques (1996) Volume: 37, Issue: 4, page 258-278 (numdam)

Last revised on February 22, 2020 at 11:44:33. See the history of this page for a list of all contributions to it.