5 citations · 15 across the 7 of their papers we have counts for
5 papers · 1 filter
Ordered Ehresmann semigroups and categories
Tim Stokes
Ehresmann semigroups may be viewed as biunary semigroups equipped with domain and range operations satisfying some equational laws. Motivated by some of the main examples, we here…
Restriction in Program Algebra
Marcel Jackson, Tim Stokes
We present axiomatisations for a number of partial function signatures that include domain restriction, modelled as a right normal band operation. Other operations considered are o…
Override and restricted union for partial functions
Tim Stokes
The {\em override} operation is a natural one in computer science, and has connections with other areas of mathematics such as hyperplane arrangements. For arbitrary funct…
Constellations with range and IS-categories
Victoria Gould, Tim Stokes
Constellations are asymmetric generalisations of categories. Although they are not required to possess a notion of range, many natural examples do. These include commonly occurring…
Left restriction monoids from left -completions
Tim Stokes
Given a monoid with any non-empty subset of its idempotents, we present a novel one-sided version of idempotent completion we call left -completion. In general, the cons…