Related papers: Q-system completion for C* 2-categories

Let G be a reductive linear algebraic group over a field k. Let A be a finitely generated commutative k-algebra on which G acts rationally by k-algebra automorphisms. Invariant theory tells that the ring of invariants A^G=H^0(G,A) is…

We show that the category A(G) of actions of a locally compact group G on C*-algebras (with equivariant nondegenerate *-homomorphisms into multiplier algebras) is equivalent, via a full-crossed-product functor, to a comma category of…

We study tensor structures on (Rep G)-module categories defined by actions of a compact quantum group G on unital C*-algebras. We show that having a tensor product which defines the module structure is equivalent to enriching the action of…

We construct an "almost involution" assigning a new DG-category to a given one, and use this construction to recover, say, the abelian category of graded modules over the graded ring $R^*$ from the DG-category of DG-modules over a DG-ring…

We define possibly unsaturated, upper semicontinuous Fell bundles over Hausdorff, locally compact groupoids and establish a universal property for representations of their full section C*-algebras on Hilbert modules over arbitrary…

Let $R$ be a commutative unital ring. We construct a category $\mathcal{C}_R$ of fractions $X/G$, where $G$ is a finite group and $X$ is a finite $G$-set, and with morphisms given by $R$-linear combinations of spans of bisets. This category…

We consider a subclass of the class of group-theoretical fusion categories: To every finite group $G$ and subgroup $H$ one can associate the category of $G$-graded vector spaces with a two-sided $H$-action compatible with the grading. We…

We provide a universal construction of the category of finite-dimensional C*-algebras and completely positive trace-nonincreasing maps from the rig category of finite-dimensional Hilbert spaces and unitaries. This construction, which can be…

Given a group G, we construct, in a canonical way, an inverse semigroup S(G) associated to G. The actions of S(G) are shown to be in one-to-one correspondence with the partial actions of G, both in the case of actions on a set, and that of…

Inspired by Lurie's theory of quasi-unital algebras we prove an analogous result for $\infty$-categories. In particular, we show that the unital structure of an $\infty$-category can be uniquely recovered from the underlying non-unital…

We prove that every rigid C*-bicategory with finite-dimensional centers (finitely decomposable horizontal units) can be realized as Connes' bimodules over finite direct sums of II$_1$ factors. In particular, we realize every multitensor…

In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal…

We investigate what would be a correct definition of categorical completeness for C*-categories and propose several variants of such a definition that make the category of Hilbert modules over a C*-algebra a free (co)completion. We extend…

In this paper we put forward the definition of particular subsets on a unital C*-algebra, that we call isocones, and which reduce in the commutative case to the set of continuous non-decreasing functions with real values for a partial order…

We give an order-theoretic characterization of the essential image of the forgetful functor from the category of real/complex unital C*-algebras to the category of real/complex unital operator systems. It is based on the characterization of…

We show that every continuous product system of correspondences over a unital C*-algebra occurs as the product system of a strictly continuous E_0-semigroup.

We study actions of discrete groups on 2-categories. The motivating examples are actions on the 2-category of representations of finite tensor categories and their relation with the extension theory of tensor categories by groups.…

Let $\gamma = (\gamma_1,...,\gamma_N)$, $N \geq 2$, be a system of proper contractions on a complete metric space. Then there exists a unique self-similar non-empty compact subset $K$. We consider the union ${\mathcal G} = \cup_{i=1}^N…

Let $C$ be a modular category of Frobenius-Perron dimension $dq^n$, where $q$ is a prime number and $d$ is a square-free integer. We show that if $q>2$ then $C$ is integral and nilpotent. In particular, $C$ is group-theoretical. In the…

A bivariant functor is defined on a category of *-algebras and a category of operator ideals, both with actions of a second countable group $G$, into the category of abelian monoids. The element of the bivariant functor will be…