Factorizable enriched categories and applications

DOI10.1016/J.JALGEBRA.2011.08.034MaRDI QIDQ411784zbMATH OpenOpenAlexFDO

Authors Aura Bârdeş, Dragoş Ştefan

Publication date 30 April 2012

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1112.0781

zbMATH Keywords

bicrossed product enriched category matched pair twisted tensor product twisting system

Mathematics Subject Classification ID

Twisted and skew group rings, crossed products (16S35) Enriched categories (over closed or monoidal categories) (18D20)

Abstract: We define the twisted tensor product of two enriched categories, which generalizes various sorts of `products' of algebraic structures, including the bicrossed product of groups, the twisted tensor product of (co)algebras and the double cross product of bialgebras. The key ingredient in the definition is the notion of simple twisting systems between two enriched categories. To give examples of simple twisted tensor products we introduce matched pairs of enriched categories. Several other examples related to ordinary categories, posets and groupoids are also discussed.

Review text

For \(S\) a fixed set and \(\mathcal M\) an \(S\)-distributive monoidal category the notion of factorizable enriched category \(\mathcal C\) over \(\mathcal M\) is introduced. It is then shown that to every enriched category \(\mathcal C\) over \(\mathcal M\) that factorizes through two enriched subcategories \(\mathcal A\) and \(\mathcal B\) of \(\mathcal C\) corresponds a twisting system between \(\mathcal A\) and \(\mathcal B\). The converse is true for simple twisting systems \(R\), in which case an enriched category \(\mathcal A\otimes_R\mathcal B\) over \(\mathcal M\) that factorizes through \(\mathcal A\) and \(\mathcal B\) is constructed. \(\mathcal A\otimes_R\mathcal B\) is called the twisted tensor product of \(\mathcal A\) and \(\mathcal B\).NEWLINENEWLINEIn the case when \(\mathrm{Coalg}\mathcal M=\mathcal (M^\prime)\), the monoidal category of coalgebras in a braided monoidal category \(\mathcal M^\prime\), it is proved that there is a one-to-one correspondence between simple twisting systems and the so called matched pairs of enriched categories. Similarly, if \(\mathcal A\) and \(\mathcal B\) are thin categories then any twisting system between \(\mathcal B\) and \(\mathcal A\) is simple and corresponds to a unique match pair of categories.NEWLINENEWLINEConcrete examples of (simple) twisting systems are given in the last part of the paper where are investigated the simple systems of enriched categories over \(Set\) (the category of sets), of algebras in \(\mathcal M\) or \(\mathrm{Coalg}(\mathcal M^\prime)\), and between posets and grupoids, respectively. In particular, the bicrossed product of groups, the twisted product of (co)algebras and the double cross product of bialgebras are recovered in a natural way.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Factorizable enriched categories and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q411784)