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

Dually, strict pro-objects are limits of small cofiltered diagrams involving only epimorphisms.

An ind-object isomorphic in $Ind(C)$ to a strict ind-object is sometimes called essentially monomorphic. A pro-object isomorphic in $Pro(C)$ to a strict pro-object is sometimes called essentially epimorphic. (This is not so good terminology unless we call strict pro-objects epimorphic which does not seem to be used.)

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 September 16, 2017 at 10:53:34.
See the history of this page for a list of all contributions to it.