†-category: nCob

nCob is a †-category. Composition in nCob can happen in either direction; every arrow can interchange its source and target objects freely.

dagger_categories: nCob

This data as json