Related papers: Separable K-Linear Categories
In this paper, in the first we give definitions of some classes of division rings which strictly contain the class of centrally finite division rings. One of our main purpose is to construct non-trivial examples of rings of new defined…
We describe a comparison between pretriangulated differential graded categories and certain stable infinity categories. Specifically, we use a model category structure on differential graded categories over k (a field of characteristic 0)…
We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…
Fusion categories are fundamental objects in quantum algebra, but their definition is narrow in some respects. By definition a fusion category must be k-linear for some field k, and every simple object V is strongly simple, meaning that (V)…
We study the categories of discrete modules for topological rings arising as the rings of operations in various kinds of topological K-theory. We prove that for these rings the discrete modules coincide with those modules which are locally…
We introduce the notions of a $\mathbf{D}$-standard abelian category and a $\mathbf{K}$-standard additive category. We prove that for a finite dimensional algebra $A$, its module category is $\mathbf{D}$-standard if and only if any derived…
We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…
In this paper, we give the definition of {\em weakly locally finite} division rings and we show that the class of these rings strictly contains the class of locally finite division rings. Further, we study multiplicative subgroups in these…
Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…
Given a skeletally small category $\mathcal{C}$, we show that any locally finite endo-length $\mathcal{C}$-module is the direct sum of indecomposable $\mathcal{C}$-modules, whose endomorphism algebra is local.
We study the homotopy category $ K(\Inj A)$ of all injective modules over a finite dimensional algebra $A$ with discrete derived category. We give a classification of the indecomposable objects of $ K(\Inj A)$ for any radical square zero…
We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…
We prove that the only separable commutative ring-objects in the stable module category of a finite cyclic p-group G are the ones corresponding to subgroups of G. We also describe the tensor-closure of the Kelly radical of the module…
We study expressive power of continuous logic in classes of (locally compact) groups. We also describe locally compact groups which are separably categorical structures.
We generalize a recent result of Clausen: For a number field with integers O, we compute the K-theory of locally compact O-modules. For the rational integers this recovers Clausen's result as a special case. Our method of proof is quite…
For a finite tensor category $\mathcal C$ and a Hopf monad $T:\mathcal C\to \mathcal C$ satisfying certain conditions we describe exact indecomposable left $\mathcal C^T$-module categories in terms of left $\mathcal C$-module categories and…
We classify extensions of certain classifiable C*-algebras using the six term exact sequence in K-theory together with the positive cone of the K_0-groups of the distinguished ideal and quotient. We then apply our results to a class of…
The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its…
We show that an infinite group $G$ definable in a $1$-h-minimal field admits a strictly $K$-differentiable structure with respect to which $G$ is a (weak) Lie group, and show that definable local subgroups sharing the same Lie algebra have…
For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…