1 citations · 1 across the 1 of their papers we have counts for
1 paper
Richard Garner, Daniel Lin
Restriction categories were introduced as a way of generalising the notion of partial map categories. In this paper, we define cocomplete restriction category, and give the free co…