43 citations · 305 across the 30 of their papers we have counts for
Showing 2019 · cs.LOShow all
2 papers · 2 filters
cs.LO2019
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…
cs.LO2019★ 2 cited
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…