data-category-0.4.1: Category theory