Paracategory

A paracategory is a category where composition is only partially defined.