Prefer a chat interface with context about you and your work?
Calculating limits and colimits in pro-categories
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