Finally, two useful and equivalent definitions were given by Daniel Quillen using homotopy theory in 1969 and 1972.
最后，两种有用的等价定义由丹尼尔·奎伦在1969年与1972年用同伦理论给出。