Related papers: Categorical Foundations for K-Theory
We study the classification of submodules of module categories over monoidal categories, extending ideas of Coulembier on the classification of tensor ideals in monoidal categories. We develop a framework that applies to module categories…
We extend the notion of a purely infinite simple C*-algebra to the context of unital rings, and we study its basic properties, specially those related to K-Theory. For instance, if $R$ is a purely infinite simple ring, then $K_0(R)^+=…
For a $C^{*}$-category with a strict $G$-action we construct examples of equivariant coarse homology theories. To this end we first introduce versions of Roe categories of objects in $C^{*}$-categories which are controlled over bornological…
A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…
This work is devoted to the study of the foundations of quantum K-theory, a K-theoretic version of quantum cohomology theory. In particular, it gives a deformation of the ordinary K-ring K(X) of a smooth projective variety X, analogous to…
This paper charts a very direct path between the categorical approach to quantum mechanics, due to Abramsky and Coecke, and the older convex-operational approach based on ordered vector spaces (recently reincarnated as "generalized…
Using a construction closely related to Waldhausen's $S_\bullet$-construction, we produce a spectrum $K(\mathbf{Var}_{/k})$ whose components model the Grothendieck ring of varieties (over a field $k$) $K_0 (\mathbf{Var}_{/k})$. We then…
Let $C_\bullet$ be a simplicial object in the category $Cat$ of small categories. For a field $k$, taking the Grothendieck groups of isomorphism classes of $kC_n$-modules gives rise to a cochain complex, whose cohomology, which we refer to…
We establish formulas for computation of the higher algebraic $K$-groups of the endomorphism rings of objects linked by a morphism in an additive category. Let ${\mathcal C}$ be an additive category, and let $Y\ra X$ be a covariant morphism…
We define the concept of a regular object with respect to another object in an arbitrary category. We present basic properties of regular objects and we study this concept in the special cases of abelian categories and locally finitely…
We consider the category of C*-algebras equipped with actions of a locally compact quantum group. We show that this category admits a monoidal structure satisfying certain natural conditions if and only if the group is quasitriangular. The…
We show that the classification of the symmetric spaces can be achieved by K-theoretical methods. We focus on Hermitian symmetric spaces of non-compact type, and define K-theory for JB*-triples along the lines of C*-theory. K-groups have to…
We develop a version of controlled algebra for simplicial rings. This generalizes the methods which lead to successful proofs of the algebraic K- theory isomorphism conjecture (Farrell-Jones Conjecture) for a large class of groups. This is…
We develop the theory of module categories over a Grothendieck-Verdier category, i.e. a monoidal category with a dualizing object and hence a duality structure more general than rigidity. Such a category C comes with two monoidal structures…
In this paper, we study the K-theory on higher modules in spectral algebraic geometry. We relate the K-theory of an $\infty$-category of finitely generated projective modules on certain $\mathbb{E}_{\infty}$-rings with the K-theory of an…
We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…
It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is…
When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is to incorporate attributes into existing categorical formalisms for planning,…
In this article we investigate which categorical structures of a category C are inherited by its arrow category. In particular, we show that a monoidal equivalence between two categories gives rise to a monoidal equivalence between their…
We establish connections between the concepts of Noetherian, regular coherent, and regular n-coherent categories for Z-linear categories with finitely many objects and the corresponding notions for unital rings. These connections enable us…