Locales and category