arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2502.11795

Morita theory for quantales

Bachuki Mesablishvili
View original source ↗Read source document ↗Export metadata ↓

Abstract

Morita theory for quantales is developed. The main result of the paper is a characterization of those quantaloids (categories enriched in the symmetric monoidal closed category of sup-lattices) that are equivalent to modular categories over quantales. Based on this characterization, necessary and sufficient conditions are derived for two quantales to be Morita-equivalent, i. e. have equivalent module categories. As an application, it is shown that the category of internal sup-lattices in a Grothendieck topos is equivalent to the module category over a suitable chosen ordinary quantale.

Explore related subjects

math.CTmath.QA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bachuki Mesablishvili. 2025-02-17. Morita theory for quantales. https://arxiv.org/abs/2502.11795

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Double coset for groupoids

We investigate the double cosets of a groupoid, focusing primarily on their enumeration, by means of two different approaches. The first approach extends the Cauchy-Frobenius lemma to groupoids and interprets it in terms of groupoid actions. The second approach is based on linear representations of a groupoid arising from its action on a set of functions.

math.CT↗
arXiv2026

Yoshida algebra for groupoids

In this paper, we extend the notion of the Yoshida algebra of a finite group introduced in \cite{Yos83} to finite groupoids and investigate its fundamental properties. Our main results show that the center of the Yoshida algebra of a finite groupoid is isomorphic to the center of the corresponding groupoid algebra, and that there exists a surjective ring homomorphism from the crossed Burnside ring of a finite groupoid, introduced in \cite{Shi26+}, onto the center of the Yoshida algebra of a finite groupoid.

math.CT↗
arXiv2026

A model structure for cartesian 2-fibrations

Cartesian 2-fibrations provide a way to understand indexed categories, but their classical ``straightening'' construction requires several layers of weak coherence data. This paper develops a homotopical framework that replaces much of this bookkeeping with a fully strict model. By using marked 2-categories to record the cartesian morphisms and 2-cells, we construct a model structure whose fibrant objects are precisely the cartesian 2-fibrations over a fixed 2-category $\mathcal{C}$. We then show that the marked Grothendieck construction identifies these 2-fibrations, up to weak equivalence, with strict 2-functors from $\mathcal{C}$ into $2\mathrm{Cat}$. As an additional contribution, we construct localizations of 2-categories that simultaneously invert selected morphisms and 2-cells.

math.CT↗