Now showing items 1-2 of 2
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 ...
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 ...