Publication | Date of Publication | Type |
---|
A point-free perspective on lax extensions and predicate liftings | 2024-03-05 | Paper |
Kantorovich functors and characteristic logics for behavioural distances | 2023-11-24 | Paper |
Duality theory for enriched Priestley spaces | 2022-09-30 | Paper |
Quantitative Hennessy-Milner Theorems via Notions of Density | 2022-07-19 | Paper |
Hausdorff coalgebras | 2021-05-04 | Paper |
Cartesian closed exact completions in topology | 2019-08-15 | Paper |
Limits in categories of Vietoris coalgebras | 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 | 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 | 2017-08-15 | Paper |
Aspects of algebraic Algebras | 2017-07-13 | Paper |
Categorical approach to modelling and to coupling of models | 2017-02-07 | Paper |
Continuity as a computational effect | 2016-12-15 | Paper |
A cottage industry of lax extensions | 2016-11-23 | Paper |
On exponentiable morphisms in classical algebra | 2016-10-20 | Paper |
Exponentiable approach spaces | 2015-11-27 | Paper |
Representable \((\mathbb{T},\mathbf{V})\)-categories | 2015-11-18 | Paper |
Dualities for modal algebras from the point of view of triples | 2015-06-23 | Paper |
Exponential Kleisli monoids as Eilenberg-Moore algebras | 2015-06-18 | Paper |
The monads of classical algebra are seldom weakly Cartesian | 2015-02-17 | Paper |
Covering morphisms in categories of relational algebras | 2015-02-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q2923414 | 2014-10-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2923415 | 2014-10-15 | Paper |
Some notes on Esakia spaces | 2014-08-05 | Paper |
The enriched Vietoris monad on representable spaces | 2014-07-10 | Paper |
Approaching metric domains | 2014-01-30 | Paper |
On a coalgebraic view on Logic | 2013-11-21 | Paper |
Duality for distributive space | 2013-09-04 | Paper |
A four for the price of one duality principle for distributive spaces | 2013-06-26 | Paper |
On exponentiability of étale algebraic homomorphisms | 2013-06-24 | Paper |
Probabilistic metric spaces as enriched categories | 2012-12-04 | Paper |
A duality of quantale-enriched categories | 2012-10-16 | Paper |
Descent morphisms and a van Kampen theorem in categories of lax algebras | 2012-06-19 | Paper |
Lax algebra meets topology | 2012-06-19 | Paper |
On the completion monad via the Yoneda embedding in quasi-uniform spaces | 2011-11-08 | Paper |
Towards Stone duality for topological theories | 2011-05-16 | Paper |
Approximation in quantale-enriched categories | 2011-05-16 | Paper |
Injective spaces via adjunction | 2011-01-07 | Paper |
Lawvere completion and separation via closure | 2010-08-13 | Paper |
Sequential convergence via Galois correspondences | 2009-12-28 | Paper |
Exponentiable functors between quantaloid-enriched categories | 2009-09-25 | Paper |
Affine sets: the structure of complete objects and duality | 2009-07-23 | Paper |
Lawvere completeness in topology | 2009-06-22 | Paper |
Relative injectivity as cocompleteness for a class of distributors | 2009-03-09 | Paper |
Axioms for sequential convergence | 2008-02-18 | Paper |
Topological theories and closed objects | 2007-10-05 | Paper |
Exponentiation in \({\mathcal V}\)-categories | 2006-10-20 | Paper |
Exponentiation for unitary structures | 2006-10-20 | Paper |
Kleisli compositions for topological spaces | 2006-09-13 | Paper |
An algebraic description of regular epimorphisms in topology | 2005-06-10 | Paper |
Effective descent morphisms in categories of lax algebras | 2005-04-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q3156494 | 2005-01-10 | Paper |
Local homeomorphisms via ultrafilter convergence | 2004-12-01 | Paper |
The convergence approach to exponentiable maps. | 2004-06-22 | Paper |
One setting for all: Metric, topology, uniformity, approach structure | 2004-05-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4429198 | 2003-09-24 | Paper |
Topological features of Lax algebras | 2003-08-21 | Paper |
On a generalization of the Stone--Weierstrass theorem | 2003-04-03 | Paper |
On limit stability of special classes of continuous maps | 2003-03-10 | Paper |
A generalization of the duality compactness theorem | 2002-08-22 | Paper |
Triquotient maps via ultrafilter convergence | 2002-07-11 | Paper |
Two-dilaton theories in two dimensions from dimensional reduction | 2002-03-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4940100 | 2000-03-02 | Paper |