Comparison of clustering methods for diabetic kidney disease patients formalized through category theory