43 citations · 305 across the 30 of their papers we have counts for
18 papers · 1 filter
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…
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…
Logic-Induced Bisimulations
Jim de Groot, Helle Hvid Hansen, Alexander Kurz
We define a new logic-induced notion of bisimulation (called -bisimulation) for coalgebraic modal logics given by a logical connection, and investigate its properties. We show t…
Completeness of Nominal PROPs
Samuel Balco, Alexander Kurz
We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that…
Stone Duality for Relations
Alexander Kurz, Andrew Moshier, Achim Jung
We show how Stone duality can be extended from maps to relations. This is achieved by working order enriched and defining a relation from A to B as both an order-preserving functio…
Nominal String Diagrams
Samuel Balco, Alexander Kurz
We introduce nominal string diagrams as, string diagrams internal in the category of nominal sets. This requires us to take nominal sets as a monoidal category, not with the cartes…