Категория булевых алгебр¶

Категория булевых алгебр — это математическая структура, объектами которой являются булевы алгебры, а морфизмами — гомоморфизмы булевых алгебр. Категория булевых алгебр обычно обозначается как Bool или BA. Она является классическим примером алгебраической категории, обладающей рядом важных свойств, таких как существование свободных объектов, копроизведений и пределов, а также тесной связью с категорией булевых пространств (стоуновских пространств) через двойственность Стоуна.

¶Определение

Категория Bool определяется следующим образом:

Объекты: Все булевы алгебры. Булева алгебра — это дистрибутивная решётка с дополнениями, удовлетворяющая законам идемпотентности, коммутативности, ассоциативности, поглощения и дистрибутивности, а также содержащая наименьший элемент (0) и наибольший элемент (1).
Морфизмы: Гомоморфизмы булевых алгебр. Гомоморфизм булевых алгебр — это отображение \( f: A \to B \) между двумя булевыми алгебрами \( A \) и \( B \), которое сохраняет все булевы операции: \( f(0) = 0 \), \( f(1) = 1 \), \( f(a \land b) = f(a) \land f(b) \), \( f(a \lor b) = f(a) \lor f(b) \), \( f(\neg a) = \neg f(a) \).
Композиция: Обычная композиция отображений.
Тождественные морфизмы: Тождественные отображения на каждой булевой алгебре.

¶Свойства категории Bool

¶Алгебраичность и многообразие

Категория Bool является алгебраической категорией, соответствующей многообразию булевых алгебр. Это означает, что:

Существует функтор забывания \( U: \textbf{Bool} \to \textbf{Set} \), который отображает каждую булеву алгебру в её носитель (множество элементов), а каждый гомоморфизм — в соответствующее отображение множеств.
Этот функтор является моноидальным, то есть обладает левым сопряжённым — функтором свободной булевой алгебры. Для любого множества \( X \) существует свободная булева алгебра \( F(X) \), порождённая элементами \( X \).

¶Пределы и копределы

Категория Bool является полной и кополной, то есть в ней существуют все малые пределы и копределы.

Произведения: Произведение семейства булевых алгебр \(\{A_i\}_{i \in I}\) — это их декартово произведение \(\prod_{i \in I} A_i\) с покомпонентными операциями. Проекции — это естественные отображения проекции.
Копроизведения: Копроизведение (или свободное произведение) семейства булевых алгебр \(\{A_i\}_{i \in I}\) — это булева алгебра, порождённая образами этих алгебр в ней, с естественными вложениями. Для конечного числа алгебр копроизведение изоморфно тензорному произведению булевых алгебр.
Равноправные объекты (эквалайзеры): Эквалайзер двух гомоморфизмов \( f, g: A \to B \) — это подалгебра \( A \), состоящая из всех элементов \( a \in A \), таких что \( f(a) = g(a) \).
Коравноправные объекты (коэквалайзеры): Коэквалайзер двух гомоморфизмов \( f, g: A \to B \) — это факторалгебра \( B \) по конгруэнции, порождённой парами \((f(a), g(a))\) для всех \( a \in A \).

¶Свободные объекты

Свободная булева алгебра над множеством \( X \) из \( n \) элементов имеет мощность \( 2^{2^n} \). Она изоморфна булевой алгебре всех подмножеств множества всех функций из \( X \) в двухэлементное множество \(\{0, 1\}\). Свободная булева алгебра над счётным множеством является счётной булевой алгеброй, но её мощность также континуальна.

¶Двойственность Стоуна

Одним из центральных результатов, связывающих Bool с другими категориями, является двойственность Стоуна. Она устанавливает эквивалентность между категорией Bool и категорией, противоположной категории булевых пространств (также называемых стоуновскими пространствами).

Булево пространство — это компактное, хаусдорфово, вполне несвязное топологическое пространство.
Двойственность Стоуна: Существует контравариантный функтор \( \textbf{Stone}: \textbf{Bool} \to \textbf{Stone} \), который каждой булевой алгебре \( A \) ставит в соответствие её пространство ультрафильтров \( \text{Ult}(A) \), наделённое топологией, порождённой множествами вида \(\{U \in \text{Ult}(A) : a \in U\}\) для каждого \( a \in A \). Обратный функтор \( \textbf{Clopen}: \textbf{Stone} \to \textbf{Bool} \) сопоставляет каждому булевому пространству \( X \) булеву алгебру его открыто-замкнутых (клопиеновских) множеств.

Эта двойственность является контравариантной эквивалентностью категорий, то есть \( \textbf{Bool} \cong \textbf{Stone}^{op} \).

¶Экспоненциальные объекты и замкнутость

Категория Bool является декартово замкнутой категорией. Для любых двух булевых алгебр \( A \) и \( B \) существует экспоненциальный объект \( B^A \), который является булевой алгеброй всех гомоморфизмов из \( A \) в \( B \) с поточечными операциями. Оценка \( ev: B^A \times A \to B \) задаётся как \( ev(f, a) = f(a) \). Это свойство делает Bool примером топоса.

¶Подкатегории и связанные категории

Полные подкатегории: Категория конечных булевых алгебр является полной подкатегорией Bool. Согласно теореме Стоуна, каждая конечная булева алгебра изоморфна булевой алгебре всех подмножеств некоторого конечного множества.
Категория булевых колец: Существует эквивалентность между категорией булевых алгебр и категорией булевых колец (ассоциативных колец с единицей, в которых каждый элемент идемпотентен: \( x^2 = x \)). Эта эквивалентность устанавливается с помощью функторов, которые переводят булеву алгебру в булево кольцо с операциями \( x + y = (x \land \neg y) \lor (\neg x \land y) \) (симметрическая разность) и \( x \cdot y = x \land y \), и обратно.
Категория дистрибутивных решёток: Категория булевых алгебр является полной подкатегорией категории дистрибутивных решёток с дополнениями.

¶Применение и значение

Категория булевых алгебр играет важную роль в нескольких областях математики и информатики:

Теория категорий: Как классический пример алгебраической категории, декартово замкнутой категории и топоса.
Алгебраическая логика: Булевы алгебры являются алгебраическими моделями классической пропозициональной логики. Категория Bool используется для изучения морфизмов между этими моделями, что соответствует переводам между логическими теориями.
Топология: Через двойственность Стоуна, Bool эквивалентна категории, противоположной категории булевых пространств, что позволяет переводить топологические задачи в алгебраические и обратно.
Теория меры: Булевы алгебры и их гомоморфизмы используются в теории меры для описания измеримых пространств и отображений.
Информатика: В теоретическом программировании булевы алгебры лежат в основе цифровых схем и логических операций. Категория Bool используется в семантике языков программирования и в теории типов.

¶Примеры морфизмов

Тождественный гомоморфизм: \( id_A: A \to A \), где \( id_A(a) = a \) для всех \( a \in A \).
Гомоморфизм включения: Если \( A \) — подалгебра булевой алгебры \( B \), то отображение \( i: A \to B \), \( i(a) = a \), является гомоморфизмом.
Гомоморфизм проекции: Для произведения \( \prod_{i \in I} A_i \) проекция \( \pi_j: \prod_{i \in I} A_i \to A_j \), \( \pi_j((a_i)_{i \in I}) = a_j \), является гомоморфизмом.
Гомоморфизм, задаваемый отображением множеств: Для свободной булевой алгебры \( F(X) \) и любой булевой алгебры \( B \), любое отображение \( f: X \to B \) однозначно продолжается до гомоморфизма \( \hat{f}: F(X) \to B \).

¶Интересные факты

Категория Bool является эквивалентной категории, противоположной категории булевых пространств, что является одним из первых и наиболее важных примеров двойственности в математике.
В категории Bool существуют все малые пределы и копределы, что делает её полной и кополной.
Категория Bool является декартово замкнутой, что позволяет интерпретировать в ней типы высших порядков.
Категория конечных булевых алгебр эквивалентна категории, противоположной категории конечных множеств.

¶Источники

Маклейн С. «Категории для работающего математика»
Джонстон П.Т. «Теория топосов»
Халмош П.Р. «Лекции по булевым алгебрам»
Стоун М.Х. «Теория представлений булевых алгебр»
Голдблатт Р. «Топосы: категориальный анализ логики»