6 citations · 42 across the 18 of their papers we have counts for
4 papers · 1 filter
Difference-restriction algebras of partial functions with operators: discrete duality and completion
Célia Borlido, Brett McLean
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a col…
Difference-restriction algebras of partial functions: axiomatisations and representations
Célia Borlido, Brett McLean
We investigate the representation and complete representation classes for algebras of partial functions with the signature of relative complement and domain restriction. We provide…
Temporal Logic of Minkowski Spacetime
Robin Hirsch, Brett McLean
We present the proof that the temporal logic of two-dimensional Minkowski spacetime is decidable, PSPACE-complete. The proof is based on a type of two-dimensional mosaic. Then we p…
A categorical duality for algebras of partial functions
Brett McLean
We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collection…