Browsing Faculty of Graduate Studies Online Theses by Author "DeWolf, Darien"
Now showing items 1-2 of 2
-
On Double Inverse Semigroups
DeWolf, Darien (2013-08-21)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
DeWolf, Darien (2017-09-01)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 ...