Related papers: The $-_+$ and $-^+$ constructions for biset functo…
A certain type of functor on a category of coactions of a locally compact group on C*-algebras is introduced and studied. These functors are intended to help in the study of the crossed-product functors that have been recently introduced in…
The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…
With the aim of completing the previous study by A. Or{\l}owski and the author concerning intertwining maps between induced representations and conjugation representation, termed here weighted class operators, we compute the latter…
This paper is about the reduced group C*-algebras of real reductive groups, and about Hilbert C*-modules over these C*-algebras. We shall do three things. First we shall apply theorems from the tempered representation theory of reductive…
We investigate correspondence functors, namely the functors from the category of finite sets and correspondences to the category of $k$-modules, where $k$ is a commutative ring.They have various specific properties which do not hold for…
The purpose of this note is to consider in detail the construction of derived functors. The classical construction, such as in Cartan-Eilenberg or Grothendieck, is clarified, and it is shown, at the same time, that everything can be…
Recursive coalgebras provide an elegant categorical tool for modelling recursive algorithms and analysing their termination and correctness. By considering coalgebras over categories of suitably indexed families, the correctness of the…
The classical theorems relating integral binary quadratic forms and ideal classes of quadratic orders have been of tremendous importance in mathematics, and many authors have given extensions of these theorems to rings other than the…
In ``Cohen--Macaulay rings'' Bruns and Herzog define the graded canonical module for $\mathbb{Z}^r$-graded rings. We generalize the definition to multigradings and prove that the canonical module ``localizes''. As an application, we give a…
We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and…
In this paper we develop the theory of topological categories over a base category, that is, a theory of topological functors. Our notion of topological functor is similar to (but not the same) the existing notions in the literature (see…
The construction of a generic representation of $g\ell(n+1)$ or of the trigonomentric deformation of its enveloping algebra known as algebraic induction is conveniently formulated in term of Lax matrices. The Lax matrix of the constructed…
Martin-L\"of's Intuitionistic Theory of Types is becoming popular for formal reasoning about computer programs. To handle recursion schemes other than primitive recursion, a theory of well-founded relations is presented. Using primitive…
Reflexive functors of modules naturally appear in Algebraic Geometry, mainly in the theory of linear representations of group schemes, and in "duality theories". In this paper we study and determine reflexive functors and we give many…
According to the Hall algebras of quivers with automorphisms under Lusztig's construction, the polynominal forms of several structure coefficients for quantum groups of all finite types are presented in this note. We first provide a…
Categories of W*-bimodules are shown in an explicit and algebraic way to constitute an involutive W*-bicategory.
We compute two parametric determinants in which rows and columns are indexed by compositions, where in one determinant the entries are products of binomial coefficients, while in the other the entries are products of powers. These results…
A criterion of irreducibility for induction products of evaluation modules of type A affine Hecke algebras is given. It is derived from multiplicative properties of the canonical basis of a quantum deformation of the Bernstein-Zelevinsky…
We present a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. We introduce recursive systems generating…
We introduce and study some new uniform structures for Hilbert $C^*$-modules over an algebra $A$. In particular, we prove that in some cases they have the same totally bounded sets. To define one of them, we introduce a new class of…