Pro(Set) (and more generally Pro(C)

Hello, I have been studying a construction that turns out to be equivalent to the full subcategory of Pro(Set) consisting of diagrams such that (1) The diagram category is a directed set (2) All the maps in the diagram are one-one. This turns out to have some uses that I am quite interested in, and I am preparing a writeup of the category, which I call Grm (the category of sets with subdomain system, and germs of partial functions). I would like to know if anyone has studied this before so that I can avoid reinventing the wheel any more than I already have. Bill Rowan 28-Aug-2002 13:27:55 -0300,1637;000000000000-00000000