Lawvere completion and separation via closure

Dirk Hofmann, Walter Tholen

For 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, wher…