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

Aequationes mathematicae - 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...