Все же, вставлять сюжет про квази-алгебры в статью или не вставлять? Это максимальная естественная общность (как мне кажется), но к матричным факторизациям не имеет отношения. И еще -- заниматься обобщением теоремы Хартсхорна про инъективные квазикогерентные пучки на случай нетеровых квази-когерентных (квази-)алгебр или и так сойдет? Не могу ни на что решиться.