relational → category Relation

File in srcmainmodulesdedekindrelational	Includes file in srcmainmodulesdedekindcategory
dyadic.cppm	category.cppm
graph.cppm	category.cppm
rows.cppm	category.cppm
tables.cppm	category.cppm