логіка категорна

ЛОГІКА КАТЕГОРНА — новий розділ математичної логіки, що базується на такій математичній дисципліні, як алгебраїчна теорія категорій, яка, поряд із теорією множин, застосовується як основа для розбудови усієї математики. Для конструювання Л.к. використовують спеціальні алгебраїчні категорії, які називаються топосами.