Related papers: Uniformly Based Cuntz semigroups and approximate i…

In [5] the author conjectures and partially shows that the Cuntz semigroup classifies unitary elements of unital AF-algebras. We provide a complete proof by addressing the existence part of the conjecture, under a mild adjustment of both…

We introduce a Fra\"iss\'e theory for abstract Cuntz semigroups akin to the theory of Fra\"iss\'e categories developed by Kubi\'s. In particular, we show that any (Cuntz) Fra\"iss\'e category has a unique Fra\"iss\'e limit which is both…

We show that abstract Cuntz semigroups form a closed symmetric monoidal category. Thus, given Cuntz semigroups $S$ and $T$, there is another Cuntz semigroup $[[S,T]]$ playing the role of morphisms from $S$ to $T$. Applied to C$^*$-algebras…

We provide an abstract characterization for the Cuntz semigroup of unital commutative AI-algebras, as well as a characterization for abstract Cuntz semigroups of the form $\text{Lsc} (X,\overline{\mathbb{N}})$ for some $T_1$-space $X$. In…

We define a notion of ideal for objects in the category of abstract unitary Cuntz semigroups introduced in [3] and termed Cu$^\sim$. We show that the set of ideals of a Cu$^\sim$-semigroup has a complete lattice structure. In fact, we prove…

The Cuntz semigroup of a C*-algebra is an important invariant in the structure and classification theory of C*-algebras. It captures more information than K-theory but is often more delicate to handle. We systematically study the lattice…

This paper argues that the unitary Cuntz semigroup, introduced in [10] and termed Cu$_1$, contains crucial information regarding the classification of non-simple C$^*$-algebras. We exhibit two (non-simple) C$^*$-algebras that agree on their…

We revise the construction of the augmented Cuntz semigroup functor used by the first author to classify inductive limits of 1-dimensional noncommutative CW complexes. The original construction has good functorial properties when restricted…

We previously showed that abstract Cuntz semigroups form a closed symmetric monoidal category. This automatically provides additional structure in the category, such as a composition and an external tensor product, for which we give…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

We introduce a new invariant for C*-algebras of stable rank one that merges the Cuntz semigroup information together with the K$_1$-group information. This semigroup, termed the Cu$_1$-semigroup, is constructed as equivalence classes of…

We introduce a bivariant version of the Cuntz semigroup as equivalence classes of order zero maps generalizing the ordinary Cuntz semigroup. The theory has many properties formally analogous to KK-theory including a composition product. We…

For any ring $R$, we introduce an invariant in the form of a partially ordered abelian semigroup $\mathrm{S}(R)$ built from an equivalence relation on the class of countably generated projective modules. We call $\mathrm{S}(R)$ the Cuntz…

We provide an abstract categorical framework that relates the Cuntz semigroups of the C$^*$-algebras $A$ and $A\otimes \mathcal{K}$. This is done through a certain completion of ordered monoids by adding suprema of countable ascending…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…

We prove that the category of abstract Cuntz semigroups is bicomplete. As a consequence, the category admits products and ultraproducts. We further show that the scaled Cuntz semigroup of the (ultra)product of a family of C*-algebras agrees…

We classify C$^*$ near-group categories by using Vaughan Jones theory of subfactors and the Cuntz algebra endomorphisms. Our results show that there is a sharp contrast between two essentially different cases, integral and irrational cases.…

A classification result is obtained for the C*-algebras that are (stably isomorphic to) inductive limits of 1-dimensional noncommutative CW complexes with trivial $K_1$-group. The classifying functor Cu is defined in terms of the Cuntz…

Building on work of Elliott and coworkers, we present three applications of the Cuntz semigroup: (i) for many simple C$^*$-algebras, the Thomsen semigroup is recovered functorially from the Elliott invariant, and this yields a new proof of…