Calculating limits and colimits in pro-categories

Daniel C. Isaksen
2002 Fundamenta Mathematicae  
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. We also correct some mistakes in the literature on this topic.
doi:10.4064/fm175-2-7 fatcat:hx4bgzbuuzcaherdmy6fw4v6cy