Oℕ
Не вижу по ссылке (глава "Commutativity with limits and colimits") вообще ничего подобного ;-)
Поправил. Правильная ссылка - на выразимость через продукты и эквалайзеры
Size: a a a
2018 March 21
Oℕ
Собственно, как ошибка была моя в том, что я прочитал
Oℕ
/convert p_s(f)
Oℕ
а надо было
Oℕ
/convert p_{s(f)}
NI
Непонятно, что такое p.
Если бы я не знал конструкцию, я бы не догадался.
Если бы я не знал конструкцию, я бы не догадался.
Oℕ
т.е. просто проекция в тюпле
NI
Oℕ
проекция из продукта на соотв. элемент
NI
Ну вот ;-)
Хотя и протормозил, даже знаючи конструкцию.
Хотя и протормозил, даже знаючи конструкцию.
Oℕ
Ну вот ;-)
Хотя и протормозил, даже знаючи конструкцию.
Хотя и протормозил, даже знаючи конструкцию.
Я же правильно понимаю, что в этом выражении из Mor(D) можно выбросить айдентити стрелки, они ничего не добавят в лимит?
NI
Ну, они там уже какбе есть в произведении.
То есть, в просто объектах.
То есть, в просто объектах.
Oℕ
ну если я их дропну из произведения
NI
Не, ничо не изменится.
Oℕ
например пуллбек
f: A -> B и g: C -> B определю как эквалайзер двух функций (A, B, C) -> (B, B) : (p2, p2) и (f . p1, g. p3 ) это будет корректно?NI
Ага.
NI
Погодь. Что такое p3?
Oℕ
Погодь. Что такое p3?
третий элемент тьюпла, то бишь C