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

Категоріальна логіка — прикладне застосування теорії категорій до формальної логіки, що складає основу сучасного топосо-теоретичного бачення основ математики.