Search
Now showing items 1-1 of 1
Restriction Category Perspectives of Partial Computation and Geometry
(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 ...