Bicategories of partial maps A. Carboni (1987) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Bijective reflexions and coreflexions of commutative unars Jaroslav Ježek, Tomáš Kepka (1996) Acta Universitatis Carolinae. Mathematica et Physica