Докажите транзитивность в семантике Хаскеля

Question

Я изучаю семантику Haskell, и там я столкнулся с этим вопросом:

Я попробовал это, но все еще не могу сделать ответ. Будет здорово, если кто-нибудь объяснит мне, как это доказать. Спасибо.

Answer 1

1. Просто набросок -> Поскольку pn(s) для фиксированного n - это морфизм Ninf -> N, то есть множество целых чисел в целое число, это доказательство можно упростить, используя это соотношение для доказательства транзитивности над целыми числами

2. [1,0,0 .. ] -> [2,0,0 ..] -> [3,0,0 ..] -> ...
   Я уверен, что вы можете найти еще более интересный