Quantaloids and non-commutative ring representations.

*(English)*Zbl 0847.18005In an earlier paper, the author, together with F. Borceux, developed a generic sheaf representation for commutative rings based on the quantale of ideals of the ring (thus generalizing representations over frames) [see “A generic sheaf representation for rings”, in: Category theory, Lect. Notes Math. 1488, 30-42 (1991; Zbl 0743.18002)]. This was later generalized to include non-commutative rings by considering the quantale of two-sided ideals of the ring, however this quantale may not behave well for certain rings. The article under review proceeds by generalizing to the level of quantaloids, a natural categorical generalization of quantales, and to one particular example, which allows the author to simultaneously consider both left and right ideals of the ring, as well as the two-sided ones. A suitable notion of sheaf is obtained by considering idempotent matrices valued in this quantaloid, with morphisms certain adjoint pairs of matrices. [For a detailed look at quantaloids, matrices valued in them etc., see the reviewer’s book, “The theory of quantaloids”, Res. Notes Math. 348 (1996; Zbl 0845.18003).]

A sheaf representation is developed over the quantaloid of left and right ideals of the ring, and it is shown how both the center of the ring, as well as all the elements, can be suitably recovered from this sheaf. This paper represents an important step in investigating sheaf-like structures over quantaloids.

A sheaf representation is developed over the quantaloid of left and right ideals of the ring, and it is shown how both the center of the ring, as well as all the elements, can be suitably recovered from this sheaf. This paper represents an important step in investigating sheaf-like structures over quantaloids.

Reviewer: K.I.Rosenthal (Schenectady)

##### MSC:

18D05 | Double categories, \(2\)-categories, bicategories and generalizations (MSC2010) |

16B50 | Category-theoretic methods and results in associative algebras (except as in 16D90) |

18F20 | Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) |

16G99 | Representation theory of associative rings and algebras |

06F05 | Ordered semigroups and monoids |

##### Keywords:

quantaloid of left and right ideals of ring; quantaloids; quantales; idempotent matrices; sheaf representation; sheaf-like structures over quantaloids
PDF
BibTeX
XML
Cite

\textit{G. Van den Bossche}, Appl. Categ. Struct. 3, No. 4, 305--320 (1995; Zbl 0847.18005)

Full Text:
DOI

##### References:

[1] | Benabou, J.:Théorie des ensembles empiriques (1), Séminaire 1987-1988, Mezura 17, Publications Langues ’O, Services de la recherche de l’Inalco, Paris. |

[2] | Betti, R., Carboni, A., Street, R., and Walters, R. F. C.: Variation through enrichment,J. Pure Appl. Algebra 29 (1983), 109-127. · Zbl 0571.18004 · doi:10.1016/0022-4049(83)90100-7 |

[3] | Borceux, F. and Cruciani, R.: A generic sheaf representation theorem for non commutative rings,J. of Algebra 167(2) (1994), 291-308. · Zbl 0806.18003 · doi:10.1006/jabr.1994.1186 |

[4] | Borceux, F. and Van den Bossche, G.: A generic sheaf representation for rings, inCategory Theory, Proceedings Como 1990, Springer LNM 1488, pp. 30-42. · Zbl 0743.18002 |

[5] | Higgs, D.:A Category Approach to Boolean-Valued Set Theory, Lecture Notes, University of Waterloo, 1973. |

[6] | Mulvey, C.: &,Rend. Circ. Mat. Palermo 12 (1986), 99-104. |

[7] | Rosenthal, K. I.: Free quantaloids,J. Pure Appl. Algebra 72(1) (1991), 67-82. · Zbl 0729.18007 · doi:10.1016/0022-4049(91)90130-T |

[8] | Walters, R. F. C.: Sheaves on sites as Cauchy complete categories,J. Pure Appl. Algebra 24 (1982), 95-102. · Zbl 0497.18016 · doi:10.1016/0022-4049(82)90061-5 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.