Cartesian closedness in categories with an idempotent closure operator and closed morphisms

Abstract

Given a subobject-structured category $$\mathcal X$$ , we construct a new category whose objects are the pairs (X, c) where X is an $$\mathcal X$$ -object and c is an idempotent, monotonic and extensive endomap of the subobject lattice of X, and whose morphisms between objects are the closed maps between the corresponding subobject lattices. We give a sufficient condition on $$\mathcal X$$ for the new category to be cartesian closed.