CC BY
418
Математические структуры и моделирование 2015. №3(35). С. 61-71
УДК 316.4 + 515.12
теория категорий в социологии: общества как объекты топоса гротендика
А.К. Гуц1
д.ф.-м.н., профессор, e-mail: guts@omsu.ru Л.А. Паутова2
д.с.н., e-mail: pautoval@yandex.ru
1Омский государственный университет им. Ф.М. Достоевского 2Москва, Фонд общественного мнения
Аннотация. Обсуждается применение математической теории топосов в социологии. Предлагаются две модели, использующие топосы пучков. Показано, как возникает многовариантное описание социальных отношений. Дан способ перехода к количественному многовариантному описанию социальных процессов.
Ключевые слова: теория категорий, социология, общество, этнос, культурно-ценностный материал, топос, топос пучков, многовариантное описание социальных процессов.
Введение
Язык категорий воплощает «социологический» подход к математическому объекту: группа или пространство рассматриваются не как множество с внутренне присущей ему структурой, но как член общества себе подобных
Ю.И. Манин [1, с. 113]
Социология — это наука, которую многие относят к социально-гуманитарным наукам, но в отличие от последних она в большой степени использует математические методы. Однако используя математические методы, социология, как правило, ограничивается математической статистикой, факторным, кластерным и другими анализами. Все это в социологии объединено под названием анализ данных.
И хотя нельзя отнести математическую статистику к прикладной математике, параллельно с её теоретическим развитием накапливался опыт и материал её применения в задачах прикладного характера, и в этом плане в социологии, в частности.
62
A.K. Гуц, Л.А. Паутова. Теория категорий в социологии
Математика тем не менее не сводится к рассмотрению только прикладных задач. Её основные достижения относятся решению фундаментальных проблем. Фундаментальная математика характеризуется созданием крайне абстрактных и трудных для восприятия и понимания структур.
Один из таких разделов — теория топосов, являющаяся частью теории категорий.
Теория категорий изучает совокупность объектов различной природы и отношений между ними. Сущность каждого объекта выясняется не через попытку разобрать его на составляющие элементы, а через его отношения с другими объектами. Подход, который характерен для многих исследований в социологии.
В статье мы строим категорные модели обществ, которые учитывают «топологический поворот» в социологии [2-5]. Наши модели — это топосы Гротенди-ка. Они строятся как функторы (пучки), определённые на топосах, снабжённых топологией Гротендика, которая даёт возможность говорить об изменяющихся объектах. По сути дела «речь идёт о «социальной топологии» как динамической структуре пространства социальных различий» и о ... «социальной позиции» «как социологически конструируемой единице этого пространства. Социальная топология — структура-гештальт, дающая исследователям адекватное видение социологических предметов в непрерывных трансформациях» [5].
1. Теория категорий в социологии
Естественной и напрашивавшейся само собой является мысль рассматривать определённого рода сообщества людей (нации, этносы и пр.) как абстрактные объекты некоторой «цивилизации» C, состоящей из всевозможных абстрактных объектов, находящихся во всевозможных взаимовлияниях друг к другу.
Эта мысль оформлена была А.И. Тишиным в качестве отождествления «цивилизации» C с математической категорией [6], объекты которой он называл «общностями». Мы предпочтём слово «этнос», используя тем самым так называемый культурный подход в понимании Смелзера1 в социологических исследованиях [7,8].
А.И. Тишин ограничился демонстрацией возможности использования теоретико-категорного описания общностей и их взаимодействий с другими общностями. Мы покажем, что в действительности нужно пойти дальше и взять на вооружение теоретико-топосное описание сообществ людей.
Топосы — это категории, во многом близкие к множествам; топос — это почти теория множеств Sets, в которой объекты, т.е. множества состоят из элементов, и исследователь все взаимоотношения как внутри множеств, так и между ними рассматривает через отображения (установление соответствий) одних элементов на другие. В топосе при изучении свойств объектов не интересуются из чего они состоит, из каких элементов они «собраны», а говорят о них по их взаимосвязям с другими объектами в рамках «цивилизации» C, в
1С заменой слова «культура» на слово «этнос».
Математические структуры и моделирование. 2015. №3(35)
63
которую они входит, либо по взаимосвязям с объектами других «вселенных», 2. Теория этносов как теория топосов
Итак, каждый этнос представим как объект, Объекты обозначаем буквами A, B, C,.... Все эти объекты-этносы составляют цивилизацию C, которая с точки зрения математики представляет собой категорию [9],
Но в категории, кроме объектов, соответствующих этносам, имеются объекты иной природы, Это числовые объекты: объект натуральных чисел и объект вещественных чисел, Ведь в жизни этносов числа играют значительную роль, Это объекты, относящиеся к природным или пищевым ресурсам и т,д,
Другие объекты будем вводить и описывать по мере надобности,
Этносы находятся в различных отношениях друг к другу, Эти отношения могут носить самую разнообразную социальную природу2, но «интерес» этноса A к этносу B обозначим как f : A a B и назовем морфизмом, Если A проявляет «интерес» к B, т,е, имеем f : A a B, а B «интересуется» этносом C, т,е, имеем g : B a C, то в человеческой природе заложено неизбежное возникновение интереса этноса A к «третьей стороне», т,е, к C, Иначе говоря, A «пройдёт по пути» A A B A C, который обозначим как g о f : A a C и называем композицией морфизмов,
Вводим морфизм 1A : A a A, который ничего не делает с A,
Очевидно, что следующие свойства морфизмов следует принять как аксиомы:
(i) Закон идентичности, Если дан морфизм f : A a B, то 1b о f = f и f о 1 a = f,
(ii) Закон ассоциативности, Если даны морфизмы f : A a B, g : B a C,
h : C A D, то (h о g) о f = h о (g о f),
Совокупность морфизмов из A в B обозначают как Home (A, B) или просто как Hom(A, B),
Поскольку свойства (i), (ii) — это аксиомы категории [9], то этносы (сообщества) образуют категорию [6],
В действительности этносы — это категория, которая обладает рядом специфических свойств, делающих её элементарным топосом, т,е, категорией очень похожей на категорию множеств Кантора Sets, Покажем это,
Если даны два этноса A и B, то объект, составленный из морфизмов A a B играет важную роль как в повседной жизни этносов, так и в исторической перспективе, поскольку представляет собой совокупность всей информации об отношениях двух этносов, Такой объект, обозначаемый как BA, называют экс-понециалом, и вводится он в теории категорий посредством аксиомы существования экспоненцированил,
Из двух этносов A и B можно образовать новый объект A х B, который несёт знания об обоих объектах сразу, Называем такой объект произведением
2В простейшем случае — это создание переводного словаря, Перевод с одного языка на другой — это морфизм; вряд ли это изоморфизм, как считал А,И, Тишин [6],
64
A.K. Гуц, Л.А. Паутова. Теория категорий в социологии
объектов A и B .От произведения можно переходить к каждому из образующих его объектов с помощью особых морфизмов, именуемых проекциями pA : A х B ^ A и pB : A x B ^ B. Эти морфизмы суть процесс забывания, пренебрежения информацией об этносе-сомножителе.
Рассмотрим два этноса A и B. Первый их них столь Близок ко второму с точки зрения этнологии и этногенеза, что для него используют слово субэтнос. Например, казаки, староверы — это субэтносы русского этноса. В классической логике однозначно верно или неверно утверждение, что A субэтнос этноса B, т.е. A с B. Это можно описать с помощью характеристической функции
Xa(x)
1, x Е B Л x Е A 0, x Е B Л x Е-A.
Смысл этой формулы в том, что берём человека x, который является русским, т.е. входит в русский этнос B, и проверяем, казак ли он или нет. Если казак, то относим его к сообществу A, т.е. этносу казаков.
Эта проверка задаётся диаграммой
A с------ B
! Ха
М {0,1}
Здесь {*} — одноточечное множество. Любое отображение f : {*} ^ A производит выбор в любом множестве A конкретного элемента (какой пожелаем) f(*). В нашей диаграмме выбирается либо Т(*) = 1 (истина), либо Т(*) = 0 (ложь). Отображение 1(a) = * для любого а Е A.
Понятно, если в топосе в объекте A мы пожелаем произвести «выбор элемента», то нам следует иметь объект 1 - аналог множества {*}. Само обозначение 1 говорит о том, что это аналог 1-точечного множества.
Как его определить в любом топосе? Просто. Если A — множество, то все его элементы можно отобразить в *, т.е. всегда есть отображение A ^ {*}. Поэтому 1 определяем как объект категории такой, что для любого объекта существует морфизм 1 : A ^ 1. Назовём 1 конечным объектом.
Грубо говоря, 1 — это сообщество, лишённое какой-либо структуры, обезличенное сообщество, общество из одного (одичавшего?) индивида, которое является тем не менее обществом, поскольку в него входит человек, т.е. его личность, его память о других людях и т.д. (РоБинзон Крузо). Для любого иного сообщества A найдётся, что сказать об этом «несчастном», т.е. всегда есть морфизм A ^ 1.
Но вернёмся к предыдущей диаграмме, содержащей критерии истинности — множество {0,1}. По нему всё либо истинно, либо ложно. В жизни, в обществе, однако, действует не двузначная классическая логика с двумя истинностными значениями «истина» = 1 или «ложь» = 0, а более гибкий многозначный взгляд,
Математические структуры и моделирование. 2015. №3(35)
65
при котором между истиной и ложью всегда находится место множеству промежуточных вариантов, выдаваемых под предлогом целесообразности либо за ложь, либо за истину. Впрочем, в связи с тем, что в прикладных исследованиях все больше используется нечёткая логика (нечёткая математика), то вполне разумно вместо теоретико-множественного объекта истинности {0,1} ввести многозначный объект истинности П, и с его помощью заменить приведённую выше диаграмму на диаграмму
A
f
D
! Xf
1 T ► П
В теории топосов морфизм f : A ^ B носит название подобъекта объекта B, объект П называется классификатором, а морфизм Xf — характеристическим, или характером морфизма f. Название морфизма T — «истина».
Допущение неклассического классификатора П означает переход к интуиционистской логике, в которой не действует закон исключённого третьего.
3. Определение топоса
Теперь мы приведём определение топоса. Правда, сделаем это, позволяя себе определённую степень вольности. Прежде всего уточним понятие экспоненциала.
Категория C допускает экспонещирование, если
1) в ней существует произведение любых двух объектов;
2) если для любых двух объектов A и B существует объект BA («отображение» объекта A в объект B), называемый экспоненциалом, и морфизм ev : BA х A ^ B, называемый морфизмом значения, такие, что для любых объекта C и морфизма g : C х A ^ B существует единственный морфизм g : C ^ BА, для которого коммутативна диаграмма
BA х A
g X 1a
CA
Определение 1. Категория с произведениями, в которых каждая пара объектов имеет экспоненциал, а сама категория обладает классификатором, называется элементарным топосом.
Таким образом, как видно из этого определения, «цивилизация» этносов (сообществ) образует топос.
66
A.K. Гуц, Л.А. Паутова. Теория категорий в социологии
4. Цивилизация как топос Гротендика
Построим топосную модель этносов, учитывающую как всё богатство этнического разнообразия субэтносов, входящих в этнос, материальные, духовные, архивные ценности всех этносов и субэтносов, так и многополярность, гетерогенность, находящейся в постоянном движении «цивилизации». Более того мы вводим топологию в «цивилизацию» этносов, или в «социальное пространство», «точками» которого являются этносы. Стоит напомнить, что топологические воззрения на природу общественных объектов чрезвычайно популярны в современной социологии [2,3].
4.1. Топология Гротендика
С каждым этносом A связана некоторая совокупность этносов {Ax : x е X}, которая в какой-то мере «покрывает» этнос A, и это покрытие отражает внутреннюю связь и степень Близости каждого Ax к A. Математики в таком случае говорят о топологии в категории-цивилизации C, которая задаёт указанные связи и Близость.
Аксиоматически топологию в категории ввёл Александр Гротендик, которая носит теперь его имя. Формально речь идёт о следующем определении.
Определение 2. Топологией Гротендика3 T на категории C называется функция, сопоставляющая каждому объекту A совокупность T(A) множеств морфизмов, оканчивающихся в A, такая, что
(i) одноэлементное множество {1A : A ^ A} принадлежит T(A);
(ii) если {fx : Ax ^ A| x е X} е T(A) и для каждого x е X
{1У : Ax ^ Ax| y е Xx} е T(Ax^
то
{fx ◦ fx : Ax ^ A| x е X и у е Xx} е T(A);
(ij) если {fx : Ax ^ A| x е X} е T(A) и g : B ^ A - произвольный морфизм, то для каждого x е X существует обратный образ морфизма fx относительно g
B xA Ax
gx
B
A
A
x
g
и
{gx : B x a Ax ^ B| x е X }е T (B).
Определение 3. Категория C с топологией T, т.е. пара (C, T) называется ситусом (site), а элементы из T - покрытиями.
3В книге [9] это называется предтопологией.
Математические структуры и моделирование. 2015. №3(35)
67
«Топология Гротендика говорит, каким образом объекты ситуса C могут быть «покрыты» посредством морфизмов другими объектами. В случае, когда I — топологическое пространство и рассматриваемые объекты — это открытые множества в I, то топология Гротендика говорит, каким образом открытые множества A покрываются в смысле операции включения Ax ^ A семейством открытых множеств J(A) = {Ax}xex таким, что
U Ax = a.
xex
Таким образом, «топология Гротендика» — это структура на категории C, которая делает её объекты похожими на открытые множества топологического пространства I, образующие категорию O(I). Топологии Гротендика аксиоматизируют определение открытого покрытия.
Существует естественный способ сопоставить топологическому пространству I топологию Гротендика (O(I), J), поэтому топологии Гротендика часто рассматривают как обобщение обычных топологий. Объекты категории O(I) — открытые множества топологии пространства I, морфизмы между двумя объектами — это включения V ^ U, а покрытиями J(U) являются так называемые решёта.
Для Большого класса топологических пространств действительно можно восстановить топологию пространства I по её топологии Гротендика, однако, уже для антидискретного пространства это не так.»4
4.2. Топос пучков
У каждого этноса A имеются архивы документов, есть материальные ценности и т д., которые образуют некоторое множество F(A).
Таким образом, определена категория,
Setsc°P, (1)
объектами которой являются функторы F : Cop ^ Sets, называемые предпучками и сопоставляющие этносам A множество их архивов, ценностей и пр., т.е. F(A). (Значок «ор» (opposite) говорит, что направление морфизма надо заменить на противоположное).
Обратим внимание, что стоит взять иной предпучок G : Cop ^ Sets, то для каждого этноса A имеем иное множество G(A) культурно-ценностного материала, чем F(A).
Категория Setsc°P является топосом и называется категорией предпучков. Её часто обозначают St(C).
Предпучок F : Cop ^ Sets разрозненным, беспорядоченным образом сопоставляет этносам B их архивы и ценности F(B).
Для наведения порядка воспользуемся топологией категории C. Рассмотрим покрытие T(A). Ясно, что объекты совокупности этносов {Ax : x е X} также имеют свои архивы, ценности той же структуры, что и A, т.е. имеем множества F(Ax). Очевидно, должна быть увязка архивов и ценностей F(Ax) в
4См. статью «Топология Гротендика» в Википедии.
68
A.K. Гуц, Л.А. Паутова. Теории категорий в социологии
нечто единое целое, определяемое «центральным» архивом и ценностями F(A) покрываемого «центрального» этноса A.
Увязка архивов и цепкостей в рамках одного предпучка F ив пределах одного этноса и близкого к нему семейства этносов T(A) в единый пучок, именуемая в теории категории склеиванием элементов sx Е F(Ax) в единый элемент s Е F(A), осуществляется посредством следующего определения.
Определение 4. Предпучок F называется пучком пад ситусом (C, T), если он удовлетворяет следующему условию:
СОМ. Пусть {fx : Ax ^ A| x Е X} Е T(A) - произвольное покрытие объекта A и {sx : x Е X} - произвольное семейство элементов sx Е F(Ax), являющихся попарно совместимыми, т. е. для любых x,x' Е X выполняется равенство Fxx>(sx) = Fxx(sx/). Тогда существует единственный s Е F(A), удовлетворяющий равенству Fx (s) = sx при любом x Е X.
Здесь использованы функции ограничения Fxxx : F(Ax) ^ F(Ax xA Ax>) и Fx>x : F(Axj) ^ F(Ax xA Ax>), являющиеся F-образами двух новых морфизмов fx, fx, получаемых при построении декартова квадрата.
Ax Х A Ax' Ax/
fx'
Ax к A
fx
Обозначим также через Fx стрелку F(fx) : F(A) ^ F(Ax).
Рис. 1. Пучок — это предпучок со склеенным семейством «сечений» {sx : x Е X} в единое
«сечение» s
Математические структуры и моделирование. 2015. №3(35)
69
Рис. 2. Склеивание «сечений» sx и sxj в пучке позволяет этносу Ax непрерывно меняться вдоль «сечения» s при изменении x ^ x', переходя от Ax к Ax/ (рис. из [10])
Определение 5. Подкатегорию категории предпучков St(C), образованную пучками над ситусом (C, T), обозначаем через Shr(C) (или Sh(C, T)) и называем категорией пучков или топосом Гротендика.
Имеем включение
Shr(C) С SetsCop.
Склеивание «сечений» sx и вх/ в пучке F позволяет трактовать переход вдоль «сечения» s как (непрерывные) изменения, происходящие в этносах (сообществах) при «движении» от х к х'. Изменения происходят с этносом Ax, который «топологически деформируется» в этнос Ax (см. рис. 1, 2). Параметр, изменения которого влекут деформацию этносов, — это х е X. Его природа зависит от того, какой топос пучков мы используем для моделирования социальных процессов.
Таким образом, мы построили теоретико-топосную модель «социального пространства» этносов (сообществ), снабжённое топологией, в форме ситуса (C, T) и учитывающую возможную ценностно-материальную структуру этносов, посредством предпучков F : Cop ^ Sets.
5. Этносы как функторы топоса предпучков
Построим другую теоретико-топосную модель этносов (сообществ).
Рассмотрим случай, когда этнос — это объект F топоса предпучков (топоса пучков). При таком подходе необходимо пояснить роль аргумента F(—) предпучка F : Cop ^ Sets. Даже если трактовать F(B) е Sets, т.е. F(B) как совокупность культурно-ценностного материала и допустить, что этот материал изменяется с изменением аргумента B е C, важно понять, изменение чего влияет на этнический материал, связанный с этносом, и почему это «чего» меняется?
70
A.K. Гуц, Л.А. Паутова. Теория категорий в социологии
Например, если в этнос Э входит человек е, т.е, e е Э, то естественно попытаться при интерпретации этноса в форме функтора найти в этом функторе образ данного элемента-человека в пучковой модели:
Э э е ^ е е F^.
Замечая, что Дэ(В) — это множество, т.е. состоит из элементов, то можно взять элемент е(В) е Дэ(В) и назвать его представлением элемента е на сцене (at stage) В [17, с. 363].
Мы видим, что в зависимости от выбора сцены В человек е предстаёт в разных ролях е(В). Сколько сцен B е C, столько и ролей (вариантов). Имеем, как видим, многоролевое представление этноса, через роли (варианты) составляющих его людей.
Многоролевое (многовариантное) математическое описание этноса начинается с момента, когда мы под е будем иметь в виду некоторую числовую (в каком-то смысле) этническую характеристику человека (например, степень его религиозности), а под В = {(b1,...,bn)},bi е R, - изменяющееся многомерное этническое пространство. Получив в результате набор вещественно-числовых характеристик е(b1,..., bn), вполне можем озадачиться поиском соответствующего уравнения, дающего возможность вычислять данную характеристику.
6. Заключение
Описание этносов (обществ) на языке категорий, или на языке топосов останется всего лишь любопытным фактом (как, например, содержание статей [6,10—14]), если не пытаться делать предсказание о развитии межэтнических отношений, которые могли бы быть получены из данного описания и которые имеют принципиальные качественные отличия от предсказаний, сделанных посредством классических теоретико-множественных моделей. В конце статьи мы показали, как можно перейти к количественным методам с использованием теории топосов. Намеченный путь более чем реален, поскольку это подтверждается аналогичными результатами в теории гравитации [16,17].
Литература
1. Манин Ю.И. Лекции по алгебраической геометрии. Часть 1. М. : Изд-во МГУ, 1970.
2. Ло Дж. Объекты и пространства / Пер. с англ. В. Вахштайна // Социологическое обозрение. 2006. № 1.
3. Вахштайн В. Социология вещей и «поворот к материальному» в социальной теории // Социология вещей. Сборник статей. М. : Издательский дом «Территория будущего», 2006.
4. Макогон Т.И. Возникновение топологического восприятия пространства в теориях социальных полей // Известия Томского политехнического университета. 2012. Т. 321, № 6. С. 162—167.
Математические структуры и моделирование. 2015. №3(35)
71
5. Шматко Н.А. Плюрализация социального порядка и социальная топология // Социологические исследования. 2001. № 9. С. 14-18.
6. Тишин А.И. Теория категорий и системные исследования в социологии / В кн.: Математика в социальных науках. М. : Издательство «Наука», 1981. С. 37-46.
7. Смелзер Н. Социология. М. : Феникс, 1998. 688 с.
8. Гуц А.К., Паутова Л.А. Глобальная этносоциология. Изд. стереотип. М. : Книжный дом «ЛИБРОКОМ», 2013. 248 с.
9. Гольдблатт Р. Топосы. М. : Мир, 1983.
10. Sallaeh D.L. Recognition-Based Logie and Social Conflict: Toward a Topos Model // The 8th International Workshop on Agent-based Approach in Economic and Social Complex Systems. Tokyo : Shibaura Institute of Technology, 2013.
11. Sallach D.L. Toward categorial social analysis // Presentation at the International Category Theory Conference. Vancouver, 2011.
12. Sallach D.L. Socio-cultural structures: A categorical synthesis // Paper presented to the Midwest Sociological Society. Minneapolis, 2012.
13. Sallach D.L. Categorial social science: Theory, methodology and design // Proceedings of the World Congress on Social Simulation. Taipei, 2012.
14. Sallach D.L. Social coordination: Toward a category-theoretical synthesis // Proceedings of the World Congress on Social Simulation. Taipei, 2012.
15. Rozen V., Zhitomirski G. A category theory approach to derived preference relations in some decision making problems // Mathematical Social Sciences. 2006. V. 51, № 3.
P. 257-273.
16. Гуц А.К. Элементы теории времени. Изд. 2, доп. М : УРСС, 2011. 376 с.
17. Гуц А.К. Физика реальности. Омск : изд-во КАН, 2012. 424 с.
theory of categories in sociology: societies as objects of the
grothendieck topos
A.K. Guts1
Dr.Se.(Phys.-Math.}, Professor, e-mail: guts@omsu.ru L.A. Pautova2
D.Se.(Soeiology), e-mail: pautoval@yandex.ru
1Omsk State University n.a. F.M. Dostoevskiy 2Moseow, Fund of public opinion
Abstract. Application of the mathematical theory topos in sociology is discussed. Two models using the sheaves topoi are offered. It is shown how the multivariate description of social relations appears. The way of transition to the quantitative multivariate description of social processes is given.
Keywords: theory of categories, sociology, society, ethnos, cultural and valuable material, sheaves topoi, multivariant descriptions of social processes.
