К предыдущему https://posic.livejournal.com/2008386.htmlСобственно, это статья даже не про контрамодули (хотя и про контрамодули тоже) -- а прежде всего, это статья про производные категории второго рода, т.е. копроизводные и контрапроизводные категории. И это первая моя работа, где появляются псевдопроизводные ( = псевдокопроизводные и псевдоконтрапроизводные) категории и псевдопроизводные эквивалентности.
В этом значение этой работы -- она объясняет производный бесконечный наклон, расширяя для этой цели рамки наших представлений о производных категориях и производных эквивалентностях. В том числе, о двух родах производных категорий и т.д.