2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/61637We 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.Category Theory18A30 (primary), 55U35 (secondary), 14F35 (secondary)text