Abstract:
Some categorical properties of involutive left Q-modules are discussed. Firstly, the product and equalizer of this category are considered, and their conformations are given. Secondly, it is proved that this category has terminal object which is one-element involutive left Q-modules, and initial object when involutive Quantale Q has no zero divisors. It is also obtained that the category of involutive left Q-modules is not connected. Finally, the structure of limit in the category of involutive left Q-modules is given, and the completeness and pullback of the category of involutive left Q-modules are obtained.
