P
не знаю, как она на английском зовется. единственное, что слышал — она эквивалентна категории ординалов
Size: a a a
2018 April 13
P
последняя гуглится, а
P
эта нет
AG
категория ординалов это вроде бы то же, что и симплекс-категория, а она эквивалентна категории total orders
P
то есть категория на линейно упорядоченных мн-ах?
P
и всё?
AG
и функциях, сохраняющих порядок
P
ну да, это очевидно, окей, спасибо
Oℕ
если речь про total order и linear order то это вроде как взаимоисключащие вещи
википедия говорит, что total и linear синонимичны
AG
A linear order (also called pseudo-order, according to Wikipedia) is the irreflexive version of a total order. A linearly ordered set, or loset, is a set equipped with a linear order.
Oℕ
интересно, википедия определяет это как strict total order
Oℕ
да я понял
2018 April 16
к
Так, является ли верной интуиция о том, что предел - это такая прелельно факторизованная вещь по какому-то свойству?
VY
ну я это так себе и представляю
вот этот вот универсальный конус, такой, что каждого другого "конуса" (для вершины любого другого конуса) можно найти факторизующий морфизм
но мб я сам не правильно это понял (:
вот этот вот универсальный конус, такой, что каждого другого "конуса" (для вершины любого другого конуса) можно найти факторизующий морфизм
но мб я сам не правильно это понял (:
Oℕ
Концы тоже предельно факторизованны
к
ну то есть я пытаюсь найти интуицию к слову "предел" и пока в голову пришло только "предельно факторизован", но я пока не могу понять, это ли есть суть пределов, или это совпало, так как свойство универсальных конструкций
Oℕ
Для себя я решил, что такая лингвистичская интуиция может легко завести в неверную сторону.
Oℕ
Моя интуиция держится на том правиле выражения через эквалайзеры и продукты.
Что, лимит - это какое-то подмножество возможно сильно бесконечного декартового произведения, уточнённое кучей равенств всяких функций на нём
Что, лимит - это какое-то подмножество возможно сильно бесконечного декартового произведения, уточнённое кучей равенств всяких функций на нём
Oℕ
Его "терминальность" означает, что это самое большое подмножество, на котором эти равенства выполнаются