Zariski closure, completeness and compactness

The categorical theory of closure operators is used to introduce and study separated, complete and compact objects with respect to the Zariski closure operator naturally defined in any category X ( A , Ω ) obtained by a given complete category X (endowed with a proper factorization structure for morphisms) and by a given X -algebra ( A , Ω ) by forming the affine X -objects modelled by ( A , Ω ) . Several basic examples are provided.