本文讨论了Quantale的范畴性质,给出了余等子和自由Quantale的结构,证明了Quantale范畴是代数范畴.
In this paper, we discuss some properties of the category of Quantale, obtain the structures of coequalizers and free Quantale in the category of Quantale, and prove that the category of Quantale is an algebraic category.