Notable examples are the development of category theory, which provides a useful framework for a large part of mathematics, homological algebra, and applications of model theory to algebra.

• 比较明显的例子是范畴论的发展，范畴论对数学，同调代数，以及模论在代数上的应用都提供了一个十分有用的框架。