借由两个函予诱导出广义Comma范畴,并找到该范畴中的局部类,从而建立局部化范畴.在此基础上,根据局部化范畴所对应标准函子的泛性得到的两个函子可诱导出另一个广义Comma范畴.最后证明该范畴与前面所建立的局部化范畴是等价的.
Induces a generalized Comma category by two functors, finds out the local class of the category, and constructs the localization of generalized Comma category. Based on the results, can find two functors according to the proposition of the responding quotient functors, and induce another generalized Comma category. Finally, it proves that the localization of the former category is equivalent for the latter category