Duality and Pro-Spectra.
Motivic cell structures.
Algebraic -theory and sums-of-squares formulas.
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 correct some mistakes in the literature on this topic.
Page 1