inverse limit

Note the inverse limit can be defined more generally using families of groups and homomorphisms. So far, I have only needed to use it for sheaves, so it is defined below in this context, until needed more generally.

Definition

Let be a topological space, and be a sheaf. For a family of opens sets on Then the inverse limit is