Colimits for the pro-category of towers of simplicial sets
We describe how the graded minimal resolution of certain semigroup algebras is related to the combinatorics of some simplicial complexes. We obtain characterizations of the Cohen-Macaulay and Gorenstein conditions. The Cohen-Macaulay type is computed from combinatorics. As an application, we compute explicitly the graded minimal resolution of monomial both affine and simplicial projective surfaces.
We prove that Alexander-Spanier cohomology with coefficients in a topologicalAbelian group G is isomorphic to the group of isomorphism classes of principal bundles with certain Abelian structure groups. The result holds if either X is a CW-space and G arbitrary or if X is metrizable or compact Hausdorff and G an ANR.
We raise the question of when a simplicial object in a catetgory is deemed contractible. The literature offers three definitions. One is the existence of an “extra degeneracy”, indexed by , which does not quite live up to the name. This can be strengthened to a “strong extra degeneracy". Another possibility is that it be homotopic to a constant simplicial object. Despite claims in the literature to the contrary, we show that all three are distinct concepts with strong extra degeneracy implies extra...