Paracategories I: internal parategories and saturated partial algebras

Claudio Hermida, Paulo Mateus

Based on the monoid classifier, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a…