Publications
Group highlights
At the end of this page, you can find the full list of publications.
We leverage Stone duality to define a classifying space for iterated distributed protocols.
C Calk, E Godard
We give a general description of the complete congruences of completely distributive lattices by means of an interior operator on the collection of closed subsets of an associated topological space.
C Calk, L Santocanale
RAMICS, LNCS proceedings Vol. 14787 (2025).
We establish a Jonsson Tarski correspondence between (higher) catoids, a generalisation of higher categories, and (higher) quantales.
C Calk, P Malbos, D Pous, G Struth
Applied Categorical Structures Volume 33, article number 25, (2025).
We link natural homology, an invariant of directed spaces, to the theory of persistent homology.
C Calk, E Goubault, P Malbos
Journal of Applied and Computational Topology, Volume 8.
Full List of publications
Stone duality proofs for colorless distributed computability theorems
C Calk, E Godard
arXiv:2511.03609 (2025).
Complete Congruences of Completely Distributive Lattices
C Calk, L Santocanale
RAMICS, LNCS proceedings Vol. 14787 (2025).
Higher catoids, higher quantales and their correspondences
C Calk, P Malbos, D Pous, G Struth
Applied Categorical Structures Volume 33, article number 25, (2025).
Persistent homology of directed spaces
C Calk, E Goubault, P Malbos
Journal of Applied and Computational Topology, Volume 8.
Algebraic and topological models of directed systems : Exploring dimensions of calculation via algebraic, categorical and homotopical approaches
C Calk
Local copy of my PhD manuscript (defended 10/11/22).
Algebraic coherent confluence and higher-dimensional globular Kleene algebras
C Calk, E Goubault, P Malbos, G Struth
Logical Methods in Computer Science, Volume 18, Issue 4 (2022)
Abstract strategies and coherence
C Calk, E Goubault, P Malbos
RAMICS 2021, LNCS proceedings volume 13027 (2021)
lr-Multisemigroups, modal quantales end the origin of locality
C Calk, U Fahrenberg, C Johansen, G Struth, K Ziemanski
RAMICS 2021, LNCS proceedings volume 13027 (2021)
Time-reversal homotopical properties of concurrent systems
C Calk, E Goubault, P Malbos
Homology, Homotopy and Applications, Volume 22 Number 2 (2020)
Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs
C Calk, A Das, T Waring
arXiv:2004.12941 (2020)