在环范畴的子范畴间定义了四元数函子,并证明了它是一个正合函子,同时讨论了环类的遗传性,同态闭性在四元数函子下的变化情况。
We defined the quaternion functor Q on rings categories , and proved that Q is an exact functor .