6 citations · 42 across the 18 of their papers we have counts for
5 papers · 1 filter
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…
Disjoint-union partial algebras
Robin Hirsch, Brett McLean
Disjoint union is a partial binary operation returning the union of two sets if they are disjoint and undefined otherwise. A disjoint-union partial algebra of sets is a collection…
Algebras of multiplace functions for signatures containing antidomain
Brett McLean
We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, p…
The finite representation property for composition, intersection, domain and range
Brett McLean, Szabolcs Mikulás
We prove that the finite representation property holds for representation by partial functions for the signature consisting of composition, intersection, domain and range and for a…
Complete representation by partial functions for composition, intersection and antidomain
Brett McLean
For representation by partial functions in the signature with intersection, composition and antidomain, we show that a representation is meet complete if and only if it is join com…