Restriction categories II: Partial map classification (Q1398462): Difference between revisions

This paper is a sequel to the same authors' [\textit{J. R. B. Cockett} and \textit{S. Lack}, ibid. 270, 223-259 (2002; Zbl 0988.18003)]. There they introduced restriction categories for working with abstact categories of partial maps, and showed an representation theorem justifying their regarding restriction categories as abstract categories of partial maps. This paper considers when a monad has a Kleisli category which is abstractly a classified category of partial maps. In the presence of products the question has been answered by \textit{A. Bucalo}, \textit{C. Führmann} and \textit{A. Simpson} [ibid. 294, 31-60 (2003; Zbl 1022.18003)]. Moving from the \(p\)-category setting to the restriction category setting, the authors answer the same question without assuming the presence of products.