双Quantale模范畴的余完备性
쌍Quantale모범주적여완비성
The cocompleteness of the category of double Quantale modules