arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0909.1486

On the braiding of an Ann-category

Nguyen Tien Quang·Dang Dinh hanh
View original source ↗Read source document ↗Export metadata ↓

Abstract

A braided Ann-category $\A$ is an Ann-category $\A$ together with the braiding $c$ such that $(\A, \otimes, a, c, (I,l,r))$ is a braided tensor category, and $c$ is compatible with the distributivity constraints. The paper shows the dependence of the left (or right) distributivity constraint on other axioms. Hence, the paper shows the relation to the concepts of {\it distributivity category} due to M. L. Laplaza and {\it ring-like category} due to A. Frohlich and C.T.C Wall. The center construction of an almost strict Ann-category is an example of an unsymmetric braided Ann-category.

Explore related subjects

math.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nguyen Tien Quang, Dang Dinh hanh. 2009-09-08. On the braiding of an Ann-category. https://doi.org/10.1142/s1793557110000507

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

KEEP EXPLORING

Related papers

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↗
arXiv2026

Coderived and contraderived categories for a cotorsion pair, flat-type cotorsion pairs, and relative periodicity

Given a hereditary complete cotorsion pair $(\mathsf A,\mathsf B)$ generated by a set of objects in a Grothendieck category $\mathsf K$, we construct a natural equivalence between the Becker coderived category of the left-hand class $\mathsf A$ and the Becker contraderived category of the right-hand class $\mathsf B$. We show that a nested pair of cotorsion pairs $(\mathsf A_1,\mathsf B_1)\le(\mathsf A_2,\mathsf B_2)$ provides an adjunction between the related co/contraderived categories, which is induced by a Quillen adjunction between abelian model structures. Then we specialize to the cotorsion pairs $(\mathsf F,\mathsf C)$ sandwiched between the projective and the flat cotorsion pairs in a module category, and prove that the related co/contraderived categories for $(\mathsf F,\mathsf C)$ are the same as for the projective and flat cotorsion pairs if and only if two periodicity properties hold for $\mathsf F$ and $\mathsf C$. The same applies to the cotorsion pairs sandwiched between the very flat and the flat cotorsion pairs in the category of quasi-coherent sheaves over a quasi-compact semi-separated scheme. More generally, we define and discuss cotorsion pairs of the very flat type and of the flat type in Grothendieck categories (as well as exact categories of the flat type), and work with a cotorsion pair sandwiched between one of the very flat type and one of the flat type. The motivating examples of the classes of flaprojective modules and relatively cotorsion modules for a ring homomorphism are discussed, and periodicity conjectures formulated for them.

math.CT↗
arXiv2026

A Natural Fuzzy Order on Fuzzy Numbers

This paper introduces a natural fuzzy order on fuzzy numbers that extends the natural orders on real numbers and interval numbers. We investigate its completeness properties and show that the space of uniformly bounded fuzzy numbers is conically complete and conically cocomplete, and that it is complete if and only if the underlying continuous t-norm is the Gödel t-norm. Moreover, it is proved that this space constitutes a \([0,1]\)-enriched domain if and only if the underlying continuous t-norm satisfies the (S) condition. These results provide a foundation for ordering fuzzy numbers.

math.CT↗