Dirk Hofmann

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Quantitative Hennessy-Milner theorems via notions of density	2024-09-25	Paper
A point-free perspective on lax extensions and predicate liftings Mathematical Structures in Computer Science	2024-03-05	Paper
Kantorovich functors and characteristic logics for behavioural distances Lecture Notes in Computer Science	2023-11-24	Paper
Duality theory for enriched Priestley spaces Journal of Pure and Applied Algebra	2022-09-30	Paper
Quantitative Hennessy-Milner Theorems via Notions of Density	2022-07-19	Paper
Hausdorff coalgebras Applied Categorical Structures	2021-05-04	Paper
Cartesian closed exact completions in topology Journal of Pure and Applied Algebra	2019-08-15	Paper
Limits in categories of Vietoris coalgebras Mathematical Structures in Computer Science	2019-03-12	Paper
Topology from enrichment: the curious case of partial metrics	2019-01-23	Paper
Convergence and quantale-enriched categories	2018-11-02	Paper
Enriched Stone-type dualities Advances in Mathematics	2018-06-22	Paper
Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces	2018-06-07	Paper
The rise and fall of $V$-functors Fuzzy Sets and Systems	2017-08-15	Paper
Aspects of algebraic Algebras	2017-07-13	Paper
Categorical approach to modelling and to coupling of models Mathematical Methods in the Applied Sciences	2017-02-07	Paper
Continuity as a computational effect Journal of Logical and Algebraic Methods in Programming	2016-12-15	Paper
A cottage industry of lax extensions Categories and General Algebraic Structures with Applications	2016-11-23	Paper
On exponentiable morphisms in classical algebra Applied Categorical Structures	2016-10-20	Paper
Exponentiable approach spaces	2015-11-27	Paper
Representable $(\mathbb{T},\mathbf{V})$-categories Applied Categorical Structures	2015-11-18	Paper
Dualities for modal algebras from the point of view of triples Algebra Universalis	2015-06-23	Paper
Exponential Kleisli monoids as Eilenberg-Moore algebras Applied Categorical Structures	2015-06-18	Paper
The monads of classical algebra are seldom weakly Cartesian Journal of Homotopy and Related Structures	2015-02-17	Paper
Covering morphisms in categories of relational algebras Applied Categorical Structures	2015-02-05	Paper
Lax algebras	2014-10-15	Paper
Kleisli monoids	2014-10-15	Paper
Some notes on Esakia spaces	2014-08-05	Paper
The enriched Vietoris monad on representable spaces Journal of Pure and Applied Algebra	2014-07-10	Paper
Approaching metric domains Applied Categorical Structures	2014-01-30	Paper
On a coalgebraic view on logic Journal of Logic and Computation	2013-11-21	Paper
Duality for distributive spaces Theory and Applications of Categories	2013-09-04	Paper
A four for the price of one duality principle for distributive spaces Order	2013-06-26	Paper
On exponentiability of étale algebraic homomorphisms Journal of Pure and Applied Algebra	2013-06-24	Paper
Probabilistic metric spaces as enriched categories Fuzzy Sets and Systems	2012-12-04	Paper
A duality of quantale-enriched categories Journal of Pure and Applied Algebra	2012-10-16	Paper
Lax algebra meets topology Topology and its Applications	2012-06-19	Paper
Descent morphisms and a van Kampen theorem in categories of lax algebras Topology and its Applications	2012-06-19	Paper
On the completion monad via the Yoneda embedding in quasi-uniform spaces Topology and its Applications	2011-11-08	Paper
Approximation in quantale-enriched categories Topology and its Applications	2011-05-16	Paper
Towards Stone duality for topological theories Topology and its Applications	2011-05-16	Paper
Injective spaces via adjunction Journal of Pure and Applied Algebra	2011-01-07	Paper
Lawvere completion and separation via closure Applied Categorical Structures	2010-08-13	Paper
Sequential convergence via Galois correspondences Acta Mathematica Hungarica	2009-12-28	Paper
Exponentiable functors between quantaloid-enriched categories Applied Categorical Structures	2009-09-25	Paper
Affine sets: the structure of complete objects and duality Topology and its Applications	2009-07-23	Paper
Lawvere completeness in topology Applied Categorical Structures	2009-06-22	Paper
Relative injectivity as cocompleteness for a class of distributors	2009-03-09	Paper
Axioms for sequential convergence Applied Categorical Structures	2008-02-18	Paper
Topological theories and closed objects Advances in Mathematics	2007-10-05	Paper
Exponentiation in ${\mathcal V}$-categories Topology and its Applications	2006-10-20	Paper
Exponentiation for unitary structures Topology and its Applications	2006-10-20	Paper
Kleisli compositions for topological spaces Topology and its Applications	2006-09-13	Paper
An algebraic description of regular epimorphisms in topology Journal of Pure and Applied Algebra	2005-06-10	Paper
Effective descent morphisms in categories of lax algebras Applied Categorical Structures	2005-04-07	Paper
scientific article; zbMATH DE number 2125656 (Why is no real title available?)	2005-01-10	Paper
Local homeomorphisms via ultrafilter convergence Proceedings of the American Mathematical Society	2004-12-01	Paper
The convergence approach to exponentiable maps. Portugaliae Mathematica. Nova Série	2004-06-22	Paper
One setting for all: Metric, topology, uniformity, approach structure Applied Categorical Structures	2004-05-27	Paper
scientific article; zbMATH DE number 1985405 (Why is no real title available?)	2003-09-24	Paper
Topological features of Lax algebras Applied Categorical Structures	2003-08-21	Paper
On a generalization of the Stone--Weierstrass theorem Applied Categorical Structures	2003-04-03	Paper
On limit stability of special classes of continuous maps Topology and its Applications	2003-03-10	Paper
A generalization of the duality compactness theorem Journal of Pure and Applied Algebra	2002-08-22	Paper
Triquotient maps via ultrafilter convergence Proceedings of the American Mathematical Society	2002-07-11	Paper
Two-dilaton theories in two dimensions from dimensional reduction Annals of Physics	2002-03-19	Paper
scientific article; zbMATH DE number 1409626 (Why is no real title available?)	2000-03-02	Paper
A variety of co-quasivarieties	N/A	Paper
Cauchy convergence in V-normed categories	N/A	Paper

Research outcomes over time

This page was built for person: Dirk Hofmann