minor cleanup to categories file
	modified:   Categories.agda