interchange CategoriesForHomalg and ToolsForHomalg