12 citations · 60 across the 29 of their papers we have counts for
37 papers
Notions of Cauchy completeness for normed categories
Dirk Hofmann, Walter Tholen
As already mentioned by Lawvere in his 1973 paper, the characterisation of Cauchy completeness of metric spaces in terms of representability of adjoint distributors amounts to the…
Topological lax comma categories
Maria Manuel Clementino, Dirk Hofmann, Rui Prezado
This paper investigates the interplay between properties of a topological space , in particular of its natural order, and properties of the lax comma category $\mathsf{Top} \Dow…
Barr-coexactness for metric compact Hausdorff spaces
Marco Abbadini, Dirk Hofmann
Compact metric spaces form an important class of metric spaces, but the category that they define lacks many important properties such as completeness and cocompleteness. In recent…
A variety of co-quasivarieties
Maria Manuel Clementino, Carlos Fitas, Dirk Hofmann
It is shown that the duals of several categories of topological flavour, like the categories of ordered sets, generalised metric spaces, probabilistic metric spaces, topological sp…
Cauchy convergence in V-normed categories
Maria Manuel Clementino, Dirk Hofmann, Walter Tholen
Building on the notion of normed category as suggested by Lawvere, we introduce notions of Cauchy convergence and cocompleteness which differ from proposals in previous works. Key…
Quantitative Hennessy-Milner Theorems via Notions of Density
Jonas Forster, Sergey Goncharov, Dirk Hofmann +3
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled t…