Про теорию категорий
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)."
