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 ...