Обзор глобальных типов и категорий