Using the language and terminology of relative homological algebra, in particular that of derived functors, we introduce equivariant cohomology over a general Lie-Rinehart algebra and equivariant de Rham cohomology over a locally trivial Lie groupoid in terms of suitably defined monads (also known as triples) and the associated standard constructions. This extends a characterization of equivari...

Given an ample groupoid, we construct a spectral sequence with groupoid homology integer coefficients on the second sheet, converging to K-groups of (reduced) C*-algebra, provided has torsion-free stabilizers and satisfies strong form Baum-Connes conjecture. The construction is based triangulated category approach conjecture developed by Meyer Nest. We also present few applications topological ...

By a paramedial groupoid we mean a groupoid satisfying the equation xy · zu = uy · zx. As it is easy to see, the equational theory of paramedial groupoids, as well as the equational theory based on any balanced equation, is decidable. In this paper we are going to investigate the equational theory of paramedial cancellation groupoids; by this we mean the set of all equations satisfied by parame...