![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Обратный Карго Культ и Теория Категорий.
Oct. 6th, 2016 01:57 pmПонятие Обратного Карго Культа (ОКГ) мне кажется подозрительным, но я не могу точно указать, в чем его логическая проблема. Вот определение:
Пример использование в газете:
Описание "настоящего" Карго Культа (CG) в вики:
Как это можно было бы смоделировать с помощью ОЛОГов (Теории Категорий)?
Сначала попробуем смоделировать CG.
Объекты: завод, самолет, товары, взлетная полоса. Работающий завод производит товары, самолет их перевозит, взлетная полоса принимает самолет с товарами.
Последователи CG завод не видят, а видят только самолет, полосу и товары. Они строят взлетную полосу и ждут, что некое божество пришлет им самолет с товарами. То есть, вместо завода у них некое божество, которое надо ублажать, чтобы оно прислало товары.
Objects:
- Raw Materials (RW) - сырье
- Goods (G) - товары
- Locations (L) - места
Arrows:
m (manufacturing): RW -> (G,L1) – превращаем сырье в товары на заводе (L1);
d (delivery): (G,L1) -> (G,L2) – доставляем товары в место потребления (L2).
У аборигенов все работает по-другому.
Objects:
- Goods (G) - товары
- Locations (L) - места
Arrows:
r (religious ritual): (G,L1) -> (G,L2) - молимся и строим полосу, чтобы товары G прибыли к нам в L2.
Проблема аборигенов заключается в том, что стрелка r не работает, т.е. dºm ≠ r. – последовательность стрелок d after m не равна стрелке r (the arrows don't commute).
=================================
На мой взгляд, основное отличие CG и ОКГ в том, что у первых есть прямой доступ к западным товарам (G), а у вторых - нет.
Дальше надо думать.
upd1: надо вводить понятие "потребление", т.е. стрелка u: (G,P,L,S) -> (G,P,L,S) // Goods, People, Location, Satisfaction.
upd2: also, we should use Context instead of Location. Or maybe Context should be a separate object, which often gets confused with Location. That is, by changing Location we also change Context.
upd3. another key difference b/w CG and ОКГ is that the former deals with private physical goods, while the latter with public intangible goods.
upd4: Arrow m, i.e. manufacturing of authentic western goods is effectively prohibited in Russia (e.g. manufacturers are branded as foreign agents, property rights not enforced, corruption, etc.), but allowed in Singapore (rule of law) and China (property rights in special economic zones).
Это такой обратный карго-культ - вера в то, что у белых людей самолеты тоже из соломы и навоза, но они ловчее притворяются. А мы, чистые душой аборигены, не так талантливо притворяемся, и в этом тоже есть отдельная гордость.
Пример использование в газете:
Такой вот обратный карго-культ: да, наши макеты не вызовут появления товаров, но и настоящие самолеты товаров не привезут, потому что их нет, настоящих самолетов. Там такие же деревянные макеты.
Описание "настоящего" Карго Культа (CG) в вики:
The name derives from the belief which began among Melanesians in the late 19th and early 20th century that various ritualistic acts such as the building of an airplane runway will manifest in the appearance of material wealth, particularly highly desirable Western goods (i.e., "cargo"), via Western airplanes
Как это можно было бы смоделировать с помощью ОЛОГов (Теории Категорий)?
Сначала попробуем смоделировать CG.
Объекты: завод, самолет, товары, взлетная полоса. Работающий завод производит товары, самолет их перевозит, взлетная полоса принимает самолет с товарами.
Последователи CG завод не видят, а видят только самолет, полосу и товары. Они строят взлетную полосу и ждут, что некое божество пришлет им самолет с товарами. То есть, вместо завода у них некое божество, которое надо ублажать, чтобы оно прислало товары.
Objects:
- Raw Materials (RW) - сырье
- Goods (G) - товары
- Locations (L) - места
Arrows:
m (manufacturing): RW -> (G,L1) – превращаем сырье в товары на заводе (L1);
d (delivery): (G,L1) -> (G,L2) – доставляем товары в место потребления (L2).
У аборигенов все работает по-другому.
Objects:
- Goods (G) - товары
- Locations (L) - места
Arrows:
r (religious ritual): (G,L1) -> (G,L2) - молимся и строим полосу, чтобы товары G прибыли к нам в L2.
Проблема аборигенов заключается в том, что стрелка r не работает, т.е. dºm ≠ r. – последовательность стрелок d after m не равна стрелке r (the arrows don't commute).
=================================
На мой взгляд, основное отличие CG и ОКГ в том, что у первых есть прямой доступ к западным товарам (G), а у вторых - нет.
Дальше надо думать.
upd1: надо вводить понятие "потребление", т.е. стрелка u: (G,P,L,S) -> (G,P,L,S) // Goods, People, Location, Satisfaction.
upd2: also, we should use Context instead of Location. Or maybe Context should be a separate object, which often gets confused with Location. That is, by changing Location we also change Context.
upd3. another key difference b/w CG and ОКГ is that the former deals with private physical goods, while the latter with public intangible goods.
upd4: Arrow m, i.e. manufacturing of authentic western goods is effectively prohibited in Russia (e.g. manufacturers are branded as foreign agents, property rights not enforced, corruption, etc.), but allowed in Singapore (rule of law) and China (property rights in special economic zones).
