Related papers: Entwining Structures in Monoidal Catrgories
We investigate some general machinery for describing semidualizing modules over generic constructions like ladder determinantal rings with coefficients in a normal domain. We also pose and investigate natural localization questions that…
We introduce a strategy to study irreducible representations of automorphism groups of finite modules over local rings. We prove that these automorphism groups fit in a hierarchy that facilitates a stratification of their irreducible…
In this paper we develop a general theory of modules which are invariant under automorphisms of their covers and envelopes. When applied to specific cases like injective envelopes, pure-injective envelopes, cotorsion envelopes, projective…
A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…
We present a categorical theory of monads and distributive laws in substructural contexts. In the study of distributive laws, the roles of (the absence of) structural rules for variable contexts have been recognized; our theory formalizes…
We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…
In this paper I consider all possible properties from commutative algebra for polynomial composites and monoid domains. The aim is full characterization of these structures. I start with the examination of group, ring, modules properties,…
The invertibility hypothesis for a monoidal model category S asks that localizing an S-enriched category with respect to an equivalence results in an weakly equivalent enriched category. This is the most technical among the axioms for S to…
We study the quasi-endomorphism ring of infinitely definable subgroups in separably closed fields. Based on the results we obtain, we are able to prove a Mordell-Lang theorem for Drinfeld modules of finite characteristic. Using…
We rederive a popular nonsemisimple fusion algebra in the braided context, from a Nichols algebra. Together with the decomposition that we find for the product of simple Yetter-Drinfeld modules, this strongly suggests that the relevant…
We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category…
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…
For any finite group G with a finite G-set X and a modular tensor category C we construct a part of the algebraic structure of an associated G-equivariant monoidal category: For any group element g in G we exhibit the module category…
fc-multicategories are a very general kind of two-dimensional structure, encompassing bicategories, monoidal categories, double categories and ordinary multicategories. We define them and explain how they provide a natural setting for two…
This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to…
This is the second paper in a series on enumerative invariants counting self-dual objects in self-dual categories, and is a sequal to (arXiv:2302.00038). Ordinary enumerative invariants in abelian categories can be seen as invariants for…
For the affine Hecke algebra of type A at roots of unity, we make explicit the correspondence between geometrically constructed simple modules and combinatorially constructed simple modules and prove the modular branching rule. The latter…
For the affine Hecke algebra of type A at roots of unity, we make explicit the correspondence between geometrically constructed simple modules and combinatorially constructed simple modules and prove the modular branching rule. The latter…
This paper presents preliminary work on a general system for integrating dependent types into substructural type systems such as linear logic and linear type theory. Prior work on this front has generally managed to deliver type systems…
We develop a categorical approach to quivers and their modules. Naturally this leads to a notion of an action of a monoidal category on quivers. Using this, we construct for a large class of quivers rigid monoidal structures on their…