И даже -зубы- примеры есть у меня!

[posic]

Шестая глава в основном написана -- http://positselski.narod.ru/curved-a-infty.ps.gz

Хотя подраздел про трансформации тензорных операций при кошулевой двойственности, пожалуй что, и не помешал бы (особенно Ext со значениями в гомотопической категории свободных R-контрамодулей, а не абы что). Но не все сразу.