m - пример междисципилнарных связей в математике [entries|archive|friends|userinfo]
m

[ userinfo | ljr userinfo ]
[ archive | journal archive ]

пример междисципилнарных связей в математике [Aug. 18th, 2010|11:47 pm]
Previous Entry Add to Memories Tell A Friend Next Entry
случайно придумался какой-никакой, но гомотопический смысл для теоретико-множественного инварианта в
арифметике кардиналов (и вообще, равномощность это корасслоенность). Но это наблюдение
никому не интересно даже попробовать развивать дальше --- т.множественникам лень разбираться, как рисовать
диаграммы в категориях (без условия коммутативности!), а гомотопическим людям вообще непонятно,
почему это могло бы быть интересно, какой-то вырожденный недопример производного функтора....Ну
а автору надоело этим заниматься, и вообще он(и) из другой науки и не гомотопии, ни теория множеств им не интересна.

при этом, технически все абсолютно тривиально. ну а нетехнически --- никто не смотрел и смотреть не будет,
ибо типа интердисциплинарность....


любопытно, насколько это типичная ситуация?
LinkLeave a comment

Comments:
[User Picture]
From:[info]avf_uk@lj
Date:August 18th, 2010 - 02:21 pm
(Link)
Тебя явно не хватает пакета xy. :-)

А чем объясняется название Conjecture 2.3?
From:(Anonymous)
Date:August 18th, 2010 - 03:07 pm
(Link)
я не нанимался код писать на латехе. :) да и картинки ху не
нарисуешь...

а гипотезу эту мы пытались формулировать и доказывать во время пыхтелок одноименного вулкана...
[User Picture]
From:[info]furia_krucha@lj
Date:August 18th, 2010 - 05:16 pm
(Link)
Картинки мощные. У P. Taylor-а есть удобный пакет для рисования диаграм: http://www.paultaylor.eu/diagrams/.
[User Picture]
From:[info]dmitri83
Date:April 22nd, 2011 - 09:48 pm
(Link)
ты там в конце пишешь, что хотел изначально построить модельную структуру на классах моделей всяких теорий (псевдоэкспонента, универсальное накрытие). в итоге это выродилось в такую категорию-poset. почему? исходная мотивация не окупилась и эта модельная структура показалось релевантней?
[User Picture]
From:[info]m
Date:April 23rd, 2011 - 02:08 pm
(Link)
3 фактора:

1. автор туп и глуп, а с моделями много технической возни было (бы)

2. (нетривиальную) модельную структуру на моделях с (нетривильной) структурой не удалось построить. а эту вырожденную удалось...

3. ну и да, эта модельная структура мне все еще кажется "релевантней" (чтобы это не значило)