2 papers
cs.DC2026
Stone Duality Proofs for Colorless Distributed Computability Theorems
Cameron Calk, Emmanuel Godard
We introduce a new topological encoding of executions of round-based, full-information distributed protocols via spectral spaces. Such protocols constitute a model of distributed c…
cs.LO2025
Higher Catoids, Higher Quantales and their Correspondences
Cameron Calk, Philippe Malbos, Damien Pous +1
We introduce -catoids as generalisations of (strict) -categories and in particular the higher path categories generated by computads or polygraphs in higher-dimensional rew…