5 citations · 7 across the 5 of their papers we have counts for
6 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…
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…
Free constructions and coproducts of d-frames
Tomáš Jakl, Achim Jung
A general theory of presentations for d-frames does not yet exist. We review the difficulties and give sufficient conditions for when they can be overcome. As an application we pro…
Diagrammatic Semantics for Digital Circuits
Dan R. Ghica, Achim Jung, Aliaume Lopez
We introduce a general diagrammatic theory of digital circuits, based on connections between monoidal categories and graph rewriting. The main achievement of the paper is conceptua…
Join-continuity + Hypercontinuity = Prime continuity
Weng Kin Ho, Achim Jung, Dongsheng Zhao
A remarkable result due to Kou, Liu & Luo states that the condition of continuity for a dcpo can be split into quasi-continuity and meet-continuity. Their argument contained a gap,…
The Ho-Zhao Problem
Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung +1
Given a poset , the set, , of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory of (the category of posets a…