本文首先证明了Quantale模范畴有交且是平衡范畴;其次得到了Quantale模上的核(余核)_映射与其在Quantale模范畴中的商(子)对象是一一对应的,从而证明了Quantale模范畴是极端余良幂的和极端良幂的;最后,讨论了Quantale模范畴的定向极限,并给出具体结构.
Firstly, the authors prove that the category of Quantale modules has intersection and is balanced. Secondly, a one-to-one-correspondence between the set of all the nuclei (conuclei) on a Quantale module and the set of all the quotient objects (sub-objects) of it in the category of Quantale modules can be obtained. So, the extremal well-powered and the extremal co-well-powered facts are proved. Finally, the authors study the direct limit of the category of Quantale modules and give its concrete structure.