TY - JOUR

T1 - Restriction categories as enriched categories

AU - Cockett, Robin

AU - Garner, Richard

PY - 2014/2/27

Y1 - 2014/2/27

N2 - Restriction categories were introduced as a simple equational axiomatisation for categories of partial maps such as those which arise in the foundations of computability theory. A restriction structure on a category is given by an operation obeying four simple axioms, that assigns to each morphism of the category an endomorphism of its domain to be thought of as the partial identity representing the degree of definition. In this paper, we show that restriction categories can be seen as a kind of enriched category; this allows their theory to be studied by way of the enrichment. Unlike most enrichments, ours is based not on a monoidal category, but rather a weak double category in the sense of Grandis-Paré, and provides - from a purely mathematical perspective - an example of such an enrichment arising in nature. Beyond exhibiting restriction categories as enriched categories, we show that varying the base of this enrichment also allows the important notions of join and range restriction category to be understood in the same manner.

AB - Restriction categories were introduced as a simple equational axiomatisation for categories of partial maps such as those which arise in the foundations of computability theory. A restriction structure on a category is given by an operation obeying four simple axioms, that assigns to each morphism of the category an endomorphism of its domain to be thought of as the partial identity representing the degree of definition. In this paper, we show that restriction categories can be seen as a kind of enriched category; this allows their theory to be studied by way of the enrichment. Unlike most enrichments, ours is based not on a monoidal category, but rather a weak double category in the sense of Grandis-Paré, and provides - from a purely mathematical perspective - an example of such an enrichment arising in nature. Beyond exhibiting restriction categories as enriched categories, we show that varying the base of this enrichment also allows the important notions of join and range restriction category to be understood in the same manner.

UR - http://www.scopus.com/inward/record.url?scp=84895061927&partnerID=8YFLogxK

U2 - 10.1016/j.tcs.2013.12.018

DO - 10.1016/j.tcs.2013.12.018

M3 - Article

AN - SCOPUS:84895061927

VL - 523

SP - 37

EP - 55

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

ER -