43 citations · 305 across the 30 of their papers we have counts for
33 papers
From Zero-Dimensional to Continuous Dualities: A Double-Categorical Account
Alexander Kurz, M. Andrew Moshier, Achim Jung
We investigate how to systematically construct continuous dualities from zero-dimensional dualities, employing well-known methods from algebra, topology, category theory, and domai…
Canonical Extensions of Quantale-Enriched Categories
Alexander Kurz, Apostolos Tzimoulis
Drawing on well-known results from the theory of canonical extensions and the theory of categories enriched over a quantale, we define canonical extensions of quantale-enriched cat…
Many-valued coalgebraic logic over semi-primal varieties
Alexander Kurz, Wolfgang Poiger, Bruno Teheux
We study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to e…
New perspectives on semi-primal varieties
Alexander Kurz, Wolfgang Poiger, Bruno Teheux
We study varieties generated by semi-primal lattice-expansions by means of category theory. We provide a new proof of the Keimel-Werner topological duality for such varieties and,…
An equational approach to enriched distributivity
Adriana Balan, Alexander Kurz
The familiar adjunction between ordered sets and completely distributive lattices can be extended to generalised metric spaces, that is, categories enriched over a quantale (a latt…
First order logic properly displayed
Samuel Balco, Giuseppe Greco, Alexander Kurz +3
We introduce a proper display calculus for first-order logic, of which we prove soundness, completeness, conservativity, subformula property and cut elimination via a Belnap-style…