Let be a generalized based category (see definition 1.2). In this paper, we construct a cohomology theory in the category of contravariant functors: where R is a commutative ring with identity, which generalizes Bredon cohomology involving finite, profinite or discrete groups.

We also study higher K-theory of the category of finitely generated projective objects in and the category of finitely generated objects in and obtain some finiteness and other results.

Let K and L be lattices, and let ϕ be a homomorphism of K into L.Then ϕ induces a natural 0-preserving join-homomorphism of Con K into Con L.

Extending a result of Huhn, the authors proved that if D and E are finite distributive lattices and ψ is a 0-preserving join-homomorphism from D into E, then D and E can be represented as the congruence lattices of the finite lattices K and L, respectively, such that ψ is the natural 0-preserving join-homomorphism induced by a suitable homomorphism ϕ: K → L. Let m and n denote the number of join-irreducible elements of D and E, respectively, and let k = max (m, n). The lattice L constructed was of size O(22(n+m)) and of breadth n+m.

We prove that K and L can be constructed as ‘small’ lattices of size O(k5) and of breadth three.

We prove that every finite distributive lattice can be represented as the congruence lattice of a finite (planar) semimodular lattice.