Also as additional theorems about a given category arise, and various equivalencies are proven, one often ends up with definitions that are much “neater” than the original. But there is sometimes value in learning the historical definitions.
Also as additional theorems about a given category arise, and various equivalencies are proven, one often ends up with definitions that are much “neater” than the original. But there is sometimes value in learning the historical definitions.