Calculating limits and colimits in pro-categories
arXiv:math/0106094
Abstract
We present some constructions of limits and colimits in pro-categories. These are critical tools in several applications. In particular, certain technical arguments concerning strict pro-maps are essential for a theorem about étale homotopy types. Also, we show that cofiltered limits in pro-categories commute with finite colimits.