Calculating limits and colimits in pro-categories

2001/06/12 by Daniel C. Isaksen, Isaksen, Daniel C.
Mathematics · #14F35 (secondary) #18A30 (primary) #55U35 (secondary) #Category Theory (math.CT) #FOS: Mathematics #math.CT #msc:14F35 #msc:18A30 #msc:55U35

paper · pdf · doi:10.48550/arxiv.math/0106094

arxiv created 2001/06/12 · arxiv updated 2009/11/30

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.

Related

• Limits and colimits of synthetic ∞-categories
• Homotopy limits and colimits and enriched homotopy theory
• Interchange of filtered 2-colimits and finite 2-limits
• Limits and Colimits in the Category of Pastures
• A theory of 2-pro-objects (with expanded proofs)