data-category-0.6.1: Category theory