Localization of categories Categories in geometry and topology mathematics