Date: 2009-12-25 08:50 pm (UTC)
From: [identity profile] anhinga-anhinga.livejournal.com
> > надо искать замену теории категорий, слишком она жесткая.
> > Может быть, решетки подойдут

Очень интересно, что имел в виду И.М.

Если наивно подойти, то частичные порядки -- самые жесткие из категорий (не более одной стрелки между объектами, и никаких нетривиальных изоморфизмов), и, тем самым, совсем нет места для популярных сейчас "слабых" аксиом (в n-категориях, и т.п.), с помощью которых пытаются преодолеть "жёсткость".

Интересная загадка..

Date: 2009-12-26 07:35 am (UTC)
From: [identity profile] nivanych.livejournal.com
То есть, начинать ослаблять лучше с самого-самого жёсткого...

Profile

Leonid Positselski

February 2026

S M T W T F S
1 2 34 5 6 7
89 1011121314
15161718192021
22232425262728

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Feb. 11th, 2026 04:31 pm
Powered by Dreamwidth Studios