Hostname: page-component-89b8bd64d-x2lbr Total loading time: 0 Render date: 2026-05-07T10:12:09.724Z Has data issue: false hasContentIssue false

Inclusions for partiality

Published online by Cambridge University Press:  02 December 2014

HENDRIK HILBERDINK*
Affiliation:
2-28-32 Sasuke, Kamakura, Kanagawa 248-0017, Japan Email: hbh@dune.ocn.ne.jp

Abstract

In this paper we introduce stable systems of inclusions, which feature chosen arrows AB to capture the notion that A is a subobject of B, and proposes them as an alternative context to stable systems of monics to discuss partiality. A category C equipped with such a system $\mathscr{I}$, called an i-category, is shown to give rise to an associated category ∂(C,$\mathscr{I}$) of partial maps, which is a split restriction category whose restriction monics are inclusions. This association is the object part of a 2-equivalence between such inclusively split restriction categories and i-categories. $\mathscr{I}$ determines a stable system of monics $\mathscr{I}$+ on C, and, conversely, a stable system of monics $\mathscr{M}$ on C yields an i-category (C[$\mathscr{M}$],$\mathscr{M}$+), giving a 2-adjunction between i-categories and m-categories. The category of partial maps Par(C,$\mathscr{M}$) is isomorphic to the full subcategory of ∂(C[$\mathscr{M}$],$\mathscr{M}$+) comprising the objects of C, and ∂(C,$\mathscr{I}$) ≅ Par(C,$\mathscr{I}$+).

Information

Type
Paper
Copyright
Copyright © Cambridge University Press 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable