On one-sided $\mathcal{U}$-ideals in monoidal categories

Document Type : Research Paper

Author

Department of Mathematics, Faculty of Sciences Dhar El Mahraz, University Sidi Mohamed Ben Abdellah, P. O. Box 1796, Fez, Morocco.

10.48308/cgasa.2026.241633.1571

Abstract

In this paper, we investigate one-sided (thick) ideals in monoidal categories and explore related concepts, including generating sets, idempotency, radicality and primeness. We establish several structural properties of one-sided ideals, drawing analogies with the ring-theoretic setting. Further results are obtained by specializing to pivotal categories. In particular, one-sided negligible objects are shown to provide examples of one-sided ideals, thanks to the well-established theory of categorical traces in this framework. Moreover, we introduce and study a generalization, called one-sided $\mathcal{U}$-ideals, where we show their nontrivial nature and establish various $\mathcal{U}$-analogues of the preceding results, examining the validity of several fundamental properties.

Keywords

Main Subjects


[1] Draoui, K. and Choulli, H., Categorical basis and semisimplicity, Rend. Circ. Mat. Palermo II. Ser. 74(4) (2025), Article no. 117.
[2] Draoui, K., Choulli, H., and Mouanis, H., Determinants and rank functions in semisimple pivotal Ab-categories, Categ. Gen. Algebr. Struct. Appl. 19(1) (2023), 47-80.
[3] Geer, N., Kujawa, J., and Patureau-Mirand, B., Generalized trace and modified dimension functions on ribbon categories, Sel. Math. New Ser. 17 (2011), 453-504.
[4] Geer, N., Kujawa, J., and Patureau-Mirand, B., M-traces in (non unimodular) pivotal categories, Algebr. Represent. Theor. 25 (2021), 759-776.
[5] Geer, N., Patureau-Mirand, B., and Virelizer, A., Traces on ideals in pivotal categories, Quantum Topol. 4(1) (2013), 91-124.
[6] Heidersdorf, T. and Wenzl, H., Generalized negligible morphisms and their tensor ideals, Sel. Math. New Ser. 28(2) (2022), Article no. 31.
[7] Kassel, C., “Quantum Groups”, Graduate Texts in Mathematics 155, Springer-Verlag, 1995.
[8] Mac Lane, S., “Categories for the Working Mathematician”, Graduate Texts in Mathematics 5, Springer-Verlag, 2013.
[9] Mitchell, B., Rings with several objects, Advances in Math. 8 (1972), 1-161.
[10] Street, R., Ideals, radicals, and structure of additive categories, Appl. Categ. Structures 3 (1995), 139-149.
[11] Turaev, V.G. and Virelizier, A., “Monoidal Categories and Topological Field Theory”, Progress in Mathematics 322, Birkh¨auser/Springer, 2017.