Cauchy Complete BQ-Categories
Autores: Joel Zamora
ResumenFollowing the ideas of Lawvere and Walters, is constructed in this paper a bicategory from a locally Gelfand quantale Q. Then are studied the concepts of BQ-category, BQ-functor, BQ-bimodule, and adjoint pairs of BQ-bimodules; and it is shown that Gelfand quantal sets and symmetric BQ-categories are equivalent concepts. In addition, it is shown that Gelfand maps of quantal sets satisfying an extra condition and adjoint pairs of BQ-bimodules are also equivalent concepts. Finally, Cauchy-complete BQ-categories are studied and it is shown that there exists an isomorphism between a subcategory of the category of Complete Q-Sets and the category of symmetric skeletal Cauchy complete BQ-categories.