Tensor and direct extension of definable subcategories

Mike Prest

Definable subcategories may be extended along a ring homomorphism directly, by using their defining conditions in the new module category, or by tensoring up with the new ring. We…