Про теорию категорий
2019-07-17 14:35![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
vakИз второго издания учебника Сержа Ланга "Algebra".
"Take any book on homological algebra, and prove all the theorems without looking at the proofs given in that book.
Homological algebra was invented by Eilenberg-MacLane. General category theory (i. e. the theory of arrow-theoretic results) is generally known as abstract nonsense (the terminology is due to Steenrod)."
"Take any book on homological algebra, and prove all the theorems without looking at the proofs given in that book.
Homological algebra was invented by Eilenberg-MacLane. General category theory (i. e. the theory of arrow-theoretic results) is generally known as abstract nonsense (the terminology is due to Steenrod)."
no subject
Date: 2019-07-17 23:29 (UTC)Но вообще, свойства спектральных последовательностей не так уж тривиальны, как могут показаться непричастному.
no subject
Date: 2019-07-17 23:35 (UTC)Я ничего не петрю ни в гомологической алгебре, ни в теории категорий.
no subject
Date: 2019-07-17 23:39 (UTC)