Effective homology for homotopy colimit and cofibrant replacement
We extend the notion of simplicial set with effective homology presented in [22] to diagrams of simplicial sets. Further, for a given finite diagram of simplicial sets such that each simplicial set has effective homology, we present an algorithm computing the homotopy colimit as a simplicial set with effective homology. We also give an algorithm computing the cofibrant replacement of as a diagram with effective homology. This is applied to computing of equivariant cohomology operations....