topology → category Relation

File in srcmainmodulesdedekindtopology	Includes file in srcmainmodulesdedekindcategory
neighborhood.cppm	category.cppm