В дополнение ко вчерашнему посту добавлю, что формула (lim a_i) x b = lim (a_i x b) верна, если категория индексов I, по которой мы берём предел, связна. Потому что предел постоянного функтора b : I —> C из такой категории равен самому b.