12 citations · 60 across the 29 of their papers we have counts for
Showing 2007 · math.CTShow all
2 papers · 2 filters
math.CT2007★ 4 cited
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…
math.CT2007★ 2 cited
Lawvere completeness in Topology
Maria Manuel Clementino, Dirk Hofmann
It is known since 1973 that Lawvere's notion of (Cauchy-)complete enriched category is meaningful for metric spaces: it captures exactly Cauchy-complete metric spaces. In this pape…