A note on Girard bimodules

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Science. Official publication website can be found on muni.cz.

Authors	PASEKA Jan
Year of publication	2000
Type	Article in Periodical
Magazine / Source	International Journal of Theoretical Physics
MU Faculty or unit	Faculty of Science
Citation
Field	General mathematics
Keywords	quantale; bimodule
Description	Any (involutive) quantale is embeddable into the quantale of V-endomorphisms of a Girard bimodule over Q. Any Q-module (Q-valued module) is representable as a concrete submodule of the simple involutive quantale of V-endomorphisms of a Girard bimodule over Q.
Related projects:	Categorical methods of the theory of structures and computer