12 citations · 60 across the 29 of their papers we have counts for
4 papers · 1 filter
The enriched Vietoris monad on representable spaces
Dirk Hofmann
Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind…
On a coalgebraic view on Logic
Dirk Hofmann, Manuel A. Martins
In this paper we present methods of transition from one perspective on logic to others, and apply this in particular to obtain a coalgebraic presentation of logic. The central ingr…
Probabilistic Metric Spaces as enriched categories
Dirk Hofmann, Carla David Reis
In this paper we investigate Cauchy completeness and exponentiablity for quantale enriched categories, paying particular attention to probabilistic metric spaces.
Exponential Kleisli monoids as Eilenberg-Moore algebras
Dirk Hofmann, Frédéric Mynard, Gavin J. Seal
Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identifie…