Related papers: Comodules, contramodules and Pontryagin duality

We construct from a finitary exact category with duality a module over its Hall algebra, called the Hall module, encoding the first order self-dual extension structure of the category. We study in detail Hall modules arising from the…

We show that every essentially small finitely semisimple k-linear additive spherical category in which k=End(1) is a field, is equivalent to its dual over the long canonical forgetful functor. This includes the special case of modular…

We prove a number of results having to do with equipping type-I $\mathrm{C}^*$-algebras with compact quantum group structures, the two main ones being that such a compact quantum group is necessarily co-amenable, and that if the…

We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalence between the category of comodules and the…

The self-duality of the paracyclic category is extended to a certain class of homotopy categories of (2,1)-categories. These generalise the orbit category of a group and are associated to certain self-dual preorders equipped with a presheaf…

This paper concerns the enumeration of isomorphism classes of modules of a polynomial algebra in several variables over a finite field. This is the same as the classification of commuting tuples of matrices over a finite field up to…

We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In…

We investigate Frobenius algebras and symmetric algebras in the monoidal category of right comodules over a Hopf algebra $H$; for the symmetric property $H$ is assumed to be cosovereign. If $H$ is finite dimensional and $A$ is an…

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…

For a model category, we prove that taking the category of coalgebras over a comonad commutes with left Bousfield localization in a suitable sense. Then we prove a general existence result for the left-induced model structure on the…

An equivalent description of a symmetric monoidal category is introduced in which, instead of separate associator and commutator isomorphisms satisfying the usual coherence axioms, we simply have associo-commutator isomorphisms satisfying…

In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on…

We introduce an algebra $\mathcal{K}_n$ which has a structure of a left comodule over the quantum toroidal algebra of type $A_{n-1}$. Algebra $\mathcal{K}_n$ is a higher rank generalization of $\mathcal{K}_1$, which provides a uniform…

We define abelian extensions of algebras in congruence-modular varieties. The theory is sufficiently general that it includes, in a natural way, extensions of R-modules for a ring R. We also define a cohomology theory, which we call clone…

We study non-counital coalgebras and their dual non-unital algebras, and introduce the finite dual of a non-unital algebra. We show that a theory that parallels in good part the duality in the unital case can be constructed. Using this, we…

We show that bicovariant bimodules as defined by Woronowicz are in one to one correspondence with the Drinfeld quantum double representations. We then prove that a differential calculus associated to a bicovariant bimodule of dimension n is…

A notion of dual curve for pseudoholomorphic curves in 4--manifolds turns out to be possible only if the notion of almost complex structure structure is slightly generalized. The resulting structure is as easy (perhaps easier) to work with,…

We describe semiinfinite cohomology of associative algebras in terms of Koszul (or bar) duality. Consider an associative algebra $A$ and two its subalgebras $B$ and $N$ such that $A=B\otimes N$ as a vector space. We prove that the…

Quantum homogeneous supervector bundles arising from the quantum general linear supergoup are studied. The space of holomorphic sections is promoted to a left exact covariant functor from a category of modules over a quantum parabolic…

A natural isomorphism between the cyclic object computing the relative cyclic homology of a homogeneous quotient-coalgebra-Galois extension, and the cyclic object computing the cyclic homology of a Galois coalgebra with SAYD coefficients is…