Такой вопрос: пусть X проективный предел по некоторой направленной системе векторных пространств. Пусть все отображения перехода в системе сюръективны. Верно ли, что все проекции сюръективны?
Это очевидно, когда направленная система это скажем натуральные числа или вообще любое счётное линейно упорядоченное множество. А в общем случае непонятно