Related papers: Separable K-Linear Categories

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

We present a quick approach to computing the $K$-theory of the category of locally compact modules over any order in a semisimple $\mathbb{Q}$-algebra. We obtain the $K$-theory by first quotienting out the compact modules and subsequently…

We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

The class of simple separable KK-contractible (KK-equivalent to $\{0\}$) C*-algebras which have finite nuclear dimension is shown to classified by the Elliott invariant. In particular, the class of C*-algebras $A\otimes \mathcal W$ is…

Let $\mathcal{C}:=\mathcal{C}(G,\omega,H,\psi)$ be a finite group scheme-theoretical category over an algebraically closed field of characteristic $p\ge 0$ as defined by the first author. For any indecomposable exact module category over…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

In this paper, we investigate groupoids coming from configurations of lines in three-dimensional space. Given a point and two skew lines in $\mathbb{P}^{3}_{K}$ over a field $K$, there exists a unique line containing the given point and…

Let F be a non-Archimedean locally compact field of residue characteristic p, let G be an inner form of GL(n,F) with n>0, and let l be a prime number different from p. We describe the block decomposition of the category of finite length…

We study locally finitary realizations of simple transitive module categories of infinite rank over the monoidal category $\mathscr{C}$ of finite dimensional modules for the complex Lie algebra $\mathfrak{sl}_2$. Combinatorics of such…

It is shown that a closed solvable subgroup of a connected Lie group is compactly generated. In particular, every discrete solvable subgroup of a connected Lie group is finitely generated. Generalizations to locally compact groups are…

In this paper we generalise the notion of linearity (in the sense of Lawvere) to a category C equipped with a compatible sum structure and product structure. In this context, any morphism f from an n-fold sum to an n-fold product has a…

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…

We give a definition of differentiable cohomology of a Lie group G (possibly infinite-dimensional) with coefficients in any abelian Lie group. This differentiable cohomology maps both to the cohomology of the group made discrete and to Lie…

As a generalization of a Calabi-Yau category, we will say a k-linear Hom-finite triangulated category is fractionally Calabi-Yau if it admits a Serre functor S and there is an n > 0 with S^n = [m]. An abelian category will be called…

Let G be the free product of groups A and B with commuting subgroups H \leqslant A and K \leqslant B, and let C be the class of all finite groups or the class of all finite p-groups. We derive the description of all C-separable cyclic…

Given a category, one may construct slices of it. That is, one builds a new category whose objects are the morphisms from the category with a fixed codomain and morphisms certain commutative triangles. If the category is a groupoid, so that…

Let k be a perfect field and let K/k be a finite extension of fields. An arithmetic noncommutative projective line is a noncommutative space equal to the projectivization of the noncommutative symmetric algebra of a k-central two -sided…

We prove that, for every separable complex Hilbert space $H$, every weak-2-local $^*$-derivation on $B(H)$ is a linear $^*$-derivation. We also establish that every (non-necessarily linear nor continuous) weak-2-local derivation on a finite…

For a variety of finite groups $\mathbf H$, let $\overline{\mathbf H}$ denote the variety of finite semigroups all of whose subgroups lie in $\mathbf H$. We give a characterization of the subsets of a finite semigroup that are pointlike…