Prequantale Congruence and Its Properties
Bin Zhao · Advances in Mathematics · 2005
The prequantic congruence is introduced, the relation between a prcquantic quotient and the nucleus is investigated. The conclusion that all quotients, all nuclei and all congruences of a prequantale are isomorphism is obtained. The concrete structure of quotient induced by a congruence is considered. Finally, as an application of congruence, we show the prequantale category has coequalizers.