2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/145134For a quantale $\V$, first a closure-theoretic approach to completeness and separation in $\V$-categories is presented. This approach is then generalized to $\Tth$-categories, where $\Tth$ is a topological theory that entails a set monad $\mT$ and a compatible $\mT$-algebra structure on $\V$.Category TheoryGeneral Topology18 (primary), 54E (secondary)text