A note on Girard bimodules

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Autoři	PASEKA Jan
Rok publikování	2000
Druh	Článek v odborném periodiku
Časopis / Zdroj	International Journal of Theoretical Physics
Fakulta / Pracoviště MU	Přírodovědecká fakulta
Citace
Obor	Obecná matematika
Klíčová slova	quantale; bimodule
Popis	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.
Související projekty:	Kategoriální metody teorie struktur a informatiky