Набросали табличку с тремя примерами поколений. Кажется, на лекции я сморозил о стабилизации в случае (r,fff)-предков. Интуиции еще нет в этом направлении, поэтому такие ошибки случаются. В этой табличке тоже может быть что-то не учтено, надо внимательно копать.
![]()
Связь теории лимов с теорией поколений вот какая. В левом столбике, например, получаем равенство функторов lim^i rrr+frrf=lim^{i-1} rrf+frr, то есть, получается сдвиг. Нечто подобное может получиться и в общем (но не всегда, исключение - предложение, в котором есть слово r). Например, lim^2 rrr+frfrf = lim^1 rrf+rfr+frr - очень хитрый функтор, который до сих пор не понимаем, как описать.
Связь теории лимов с теорией поколений вот какая. В левом столбике, например, получаем равенство функторов lim^i rrr+frrf=lim^{i-1} rrf+frr, то есть, получается сдвиг. Нечто подобное может получиться и в общем (но не всегда, исключение - предложение, в котором есть слово r). Например, lim^2 rrr+frfrf = lim^1 rrf+rfr+frr - очень хитрый функтор, который до сих пор не понимаем, как описать.