data-category-0.7.2: Category theory