| http://www.w3.org/ns/prov#value | - I think that computing the Bousfield lattice of an arbitrary stable homotopy category is a huge problem, so you can probably find explicit examples satisfying your conditions, e.g. among derived categories of commutative noetherian rings, but general conditions... that looks like very complicated.
|
