Related papers: The Embedding Theorem

We introduce a new type of categorical object called a \emph{hom-tensor category} and show that it provides the appropriate setting for modules over an arbitrary hom-bialgebra. Next we introduce the notion of \emph{hom-braided category} and…

A generalization of a theorem of Crabb and Hubbuck concerning the embedding of flag representations in divided powers is given, working over an arbitrary finite field F, using the category of functors from finite-dimensional F-vector spaces…

We develop some techniques to the study of exact module categories over some families of pointed finite-dimensional Hopf algebras. As an application we classify exact module categories over the tensor category of representations of the…

One of the aims of this paper is to obtain structural results showing that powerful subgroups are abundant in pro-$p$ groups admitting certain powerful quotients. In particular, we obtain an analogue of Baer's theorem for powerful pro-$p$…

We introduce the notion of a "category with path objects", as a slight strengthening of Kenneth Brown's classic notion of a "category of fibrant objects". We develop the basic properties of such a category and its associated homotopy…

We give an explicit description for the nerve of crossed module of categories.

In this paper, we have proved results similar to Tychonoff's Theorem on embedding a space of functions with the topology of pointwise convergence into the Tychonoff product of topological spaces, but applied to the function space $C(X,Y)$…

We prove an injective version of Schanuel's lemma from homological algebra in the setting of exact categories.

Let $k$ be an algebraically closed field of characteristic $0$ or $p>2$. Let $\mathcal{G}$ be an affine supergroup scheme over $k$. We classify the indecomposable exact module categories over the tensor category ${\rm sCoh}_{\rm…

This is the first part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. This theory generalizes the tensor category theory for…

This paper is concerned with the taxonomy of finitely complete categories, based on 'matrix properties' - these are a particular type of exactness properties that can be represented by integer matrices. In particular, the main result of the…

We show that every unitarizable fusion category, and more generally every semisimple C*-tensor category, admits a unique unitary structure. Our proof is based on a categorified polar decomposition theorem for monoidal equivalences between…

The notion of reparametrization category is incorrectly axiomatized and it must be adjusted. It is proved that for a general reparametrization category $\mathcal{P}$, the tensor product of $\mathcal{P}$-spaces yields a biclosed semimonoidal…

We find the model completion of the theory modules over $A$, where $A$ is a finitely generated commutative algebra over a field $K$. This is done in a context where the field $K$ and the module are represented by sorts in the theory, so…

We characterize projective objects in the category of internal crossed modules within any semi-abelian category. When this category forms a variety of algebras, the internal crossed modules again constitute a semi-abelian variety, ensuring…

We define a cotriple (co)homology of crossed modules with coefficients in a $\pi_1$-module. We prove its general properties, including the connection with the existing cotriple theories on crossed modules. We establish the relationship with…

We incorporate a category of certain modules for an affine Lie algebra, of a certain fixed non-positive-integral level, considered by Kazhdan and Lusztig, into the representation theory of vertex operator algebras, by using the logarithmic…

Let $\text{X}$ denote a projective variety over an algebraically closed field on which a linear algebraic group acts with finitely many orbits. Then, a conjecture of Soergel and Lunts in the setting of Koszul duality and Langlands'…

In this paper we study the relative tensor product of module categories over braided fusion categories using, in part, the notion of the relative center of a module category. In particular we investigate the canonical tensor category…

For the cyclic group $C_2$ we give a complete description of the derived category of perfect complexes of modules over the constant Mackey ring $\underline{\mathbb{Z}/\ell}$, for $\ell$ a prime. This is fairly simple for $\ell$ odd, but for…