Господи, да не введи меня во грех :'(
И не выведи из меня философа

Вики
Кроме главного значения, как науки, изучающей законы мышления со стороны формы мыслей, а не их содержания
ЫЫ
Теория категорий: логика как метаязык
Если лямбда-исчисление показывает гибкость логики внутри вычислений, то теория категорий раскрывает её как «универсальный язык», в котором можно выразить разные логики.
Теория категорий абстрагируется от конкретных объектов и оперирует отношениями между ними — морфизмами. Это позволяет ей описывать:
- Классическую логику (через категории множеств),
- Интуиционистскую логику (через топосы),
- Модальную логику (через специальные функторы),
- Линейную логику (через монодальные категории).
Теория категорий показывает, что разные логики — это не конкурирующие системы, а разные «вселенные» рассуждений, описываемые общим языком. Это делает её своего рода мета-логикой.