Related papers: The Embedding Theorem

We give a necessary and sufficient condition in terms of group cohomology for two indecomposable module categories over a group-theoretical fusion category ${\mathcal C}$ to be equivalent. This concludes the classification of such module…

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

In this paper we examine on a pair of adjoint functors $(\phi ^{\ast},\phi_{\ast})$ for a subcategory of the category of crossed modules over commutative algebras where $\phi ^{\ast}:\mathbf{XMod}$\textbf{/}$% Q\rightarrow $…

The goal of the paper is to establish and to investigate a fully faithful embedding of the category of group operads into that of crossed interval groups. For this, we introduce a monoidal structure on the slice of the category of operads…

This paper consists of three results on Frobenius categories: (1) we give sufficient conditions on when a factor category of a Frobenius category is still a Frobenius category; (2) we show that any Frobenius category is equivalent to an…

In this paper we prove some results on the covering morphisms of internal groupoids. We also give a result on the coverings of the crossed modules of groups with operations.

In this study, we interpret the notion of homotopy of morphisms in the category of crossed modules in a category $\mathsf{C}$ of groups with operations using the categorical equivalence between crossed modules and internal categories in…

This is a continuation of the paper "Modular tensor categories and orbifold theories", arXiv:math.QA/0104242. It discusses orbifold models of conformal filed theory, or, in mathematical language, question of constructing the category of…

Categorical aspects of the theory of modules over trusses are studied. Tensor product of modules over trusses is defined and its existence established. In particular, it is shown that bimodules over trusses form a monoidal category. Truss…

We construct a functor from the category of graphs to the category of groups which is faithful and "almost" full, in the sense that it induces bijections of the Hom sets up to trivial homomorphisms and conjugation in the category of groups.…

We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a…

For any cssc-crossed module a category is constructed, equipped with a structure and proved that this is a coherent categorical group. Together with a result of the previous paper, where to any categorical group the cssc-crossed module is…

We introduce a notion of c-group, which is a group up to congruence relation and consider the corresponding category. Extensions, actions and crossed modules (c-crossed modules) are defined in this category and the semi-direct product is…

We study properties of the category of modules of an algebra object A in a tensor category C. We show that the module category inherits various structures from C, provided that A is a Frobenius algebra with certain additional properties. As…

We generalize Barr's embedding theorem for regular categories to the context of enriched categories.

We develop a categorical analogue of Clifford theory for strongly graded rings over graded fusion categories. We describe module categories over a fusion category graded by a group $G$ as induced from module categories over fusion…

We discuss a recent proof by the author of a general version of the Verlinde conjecture in the framework of vertex operator algebras and the application of this result to the construction of modular tensor tensor category structure on the…

We study the classification of submodules of module categories over monoidal categories, extending ideas of Coulembier on the classification of tensor ideals in monoidal categories. We develop a framework that applies to module categories…

We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.

It is known that finite crossed modules provide premodular tensor categories. These categories are in fact modularizable. We construct the modularization and show that it is equivalent to the module category of a finite Drinfeld double.