Now showing items 1-2 of 2
Restriction Category Perspectives of Partial Computation and Geometry
This thesis introduces several structures based on Cockett and Lack’s restriction categories which find applications in partial computation, geometry, topology and two-dimensional category theory. As monads may be thought ...
On Double Inverse Semigroups
A double semigroup is a set equipped with two associative binary operations satisfying the middle-four interchange law. A double inverse semigroup is a double semigroup in which both operations are inverse semigroup ...