data-category-0.6.2: Category theory