The purpose of this paper is to
define a cohomology theory for diagrams of simplicial sets that specializes to Illman’s
equivariant singular cohomology for discrete G. We show that such a theory is
representable by a suitable Eilenberg-Maclane object. The paper concludes
with a comparison of equivariant singular cohomology and equivariant sheaf
cohomology.
We adopt the category theory of Maclane as formulated in “Categories for the
working mathematician” and use the framework of Quillen’s “Homotopical
Algebra.”