> > надо искать замену теории категорий, слишком она жесткая. > > Может быть, решетки подойдут
Очень интересно, что имел в виду И.М.
Если наивно подойти, то частичные порядки -- самые жесткие из категорий (не более одной стрелки между объектами, и никаких нетривиальных изоморфизмов), и, тем самым, совсем нет места для популярных сейчас "слабых" аксиом (в n-категориях, и т.п.), с помощью которых пытаются преодолеть "жёсткость".
no subject
Date: 2009-12-25 08:50 pm (UTC)> > Может быть, решетки подойдут
Очень интересно, что имел в виду И.М.
Если наивно подойти, то частичные порядки -- самые жесткие из категорий (не более одной стрелки между объектами, и никаких нетривиальных изоморфизмов), и, тем самым, совсем нет места для популярных сейчас "слабых" аксиом (в n-категориях, и т.п.), с помощью которых пытаются преодолеть "жёсткость".
Интересная загадка..
no subject
Date: 2009-12-26 07:35 am (UTC)