| Publication | Date of Publication | Type |
|---|
Topological Lax comma categories
Order | 2025-12-15 | Paper |
A variety of co-quasivarieties
Topology and its Applications | 2025-07-31 | Paper |
Corrigendum to: ``Cauchy convergence in \(\mathcal{V} \)-normed categories''
Advances in Mathematics | 2025-06-18 | Paper |
| 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 |
Topology from enrichment: the curious case of partial metrics
(available as arXiv preprint) | 2019-01-23 | Paper |
| Convergence and quantale-enriched categories | 2018-11-02 | Paper |
Convergence and quantale-enriched categories
(available as arXiv preprint) | 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 |
Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces
(available as arXiv preprint) | 2018-06-07 | Paper |
The rise and fall of \(V\)-functors
Fuzzy Sets and Systems | 2017-08-15 | Paper |
Aspects of algebraic Algebras
(available as arXiv preprint) | 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
(available as arXiv preprint) | 2015-11-27 | Paper |
Representable \((\mathbb{T},\mathbf{V})\)-categories
Applied Categorical Structures | 2015-11-18 | 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 |
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 |
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
(available as arXiv preprint) | 2009-03-09 | 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 |
| 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 |
| 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
(available as arXiv preprint) | N/A | Paper |
Cauchy convergence in V-normed categories
(available as arXiv preprint) | N/A | Paper |
