This paper deals with B-categories where B is a quantaloid obtained from a right Gelfand quantale Q. Quantale is non-commutative extension of concept of locale. A notion of sheaf for Q is introduced; it turns out that these sheaves are precisely quasi-symmetric skeletal Cauchy-complete B-categories. In particular if Q is a locale, this construction reduces to that given in ”Sheaves and Cauchy-complete Categories” by R.F.C. Walters.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.