Related papers: The finite Rat-splitting for coalgebras

A simply colored coalgebra is a coassociative counital coalgebra $C$ over an arbitrary ring $R$, which can be decomposed into a direct sum of two $R$-modules: one generated by set-like elements and another consisting of conilpotent…

We show that for a large class of C*-algebras $\mathcal{A}$, containing arbitrary direct limits of separable type I C*-algebras, the following statement holds: If $A\in \mathcal{A}$ and $B$ is a simple projectionless C*-algebra with trivial…

We answer the title question for sigma-unital C*-algebras. The answer is that the algebra must be the direct sum of a dual C*-algebra and a C*-algebra satisfying a certain local unitality condition. We also discuss similar problems in the…

We introduce the notion of a (noncommutative) C*-Segal algebra as a Banach algebra which is a dense ideal in a C*-algebra. Several basic properties are investigated and, with the aid of the theory of multiplier modules, the structure of…

In this note, we are working within the category $\rmod$ of (unitary, left) $R$-modules, where $R$ is a {\bf countable} ring. It is well known (see e.g. Kie{\l}pi\'nski & Simson [5], Theorem 2.2) that the latter condition implies that the…

In this paper, a new invariant was built towards the classification of separable C*-algebras of real rank zero, which we call latticed total K-theory. A classification theorem is given in terms of such an invariant for a large class of…

A classification theorem is obtained for a class of unital simple separable amenable Z-stable C*-algebras which exhausts all possible values of the Elliott invariant for unital stably finite simple separable amenable Z-stable C*-algebras.…

We investigate iterating the construction of $C^{*}$, the $L$-like inner model constructed using first order logic augmented with the "cofinality $\omega$" quantifier. We first show that $\left(C^{*}\right)^{C^{*}}=C^{*}\ne L$ is…

We give a definition of partition C*-algebras: To any partition of a finite set, we assign algebraic relations for a matrix of generators of a universal C*-algebra. We then prove how certain relations may be deduced from others and we…

We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras. We discuss axiomatization and…

We generalize the results on existence and uniqueness of integrals from compact groups and Hopf algebras in a pure (co)algebraic setting, and find a series of new results on (quasi)-co-Frobenius and semiperfect coalgebras. For a coalgebra…

Nuclear $C^*$-algebras having a system of completely positive approximations formed with convex combinations of a uniformly bounded number of order zero summands are shown to be approximately finite dimensional.

Let $\Lambda = \mathbb{Z}^n$ with lexicographic ordering. $\Lambda$ is a totally ordered group. Let $X = \Lambda^+ * \Lambda^+$. Then $X$ is a $\Lambda$-tree. Analogous to the construction of graph $C^*$-algebras, we form a groupoid whose…

We solve a class of lifting problems involving approximate polynomial relations (soft polynomial relations). Various associated C*-algebras are therefore projective. The technical lemma we need is a new manifestation of Akemann and…

Every partial algebra is the colimit of its total subalgebras. We prove this result for partial Boolean algebras (including orthomodular lattices) and the new notion of partial C*-algebras (including noncommutative C*-algebras), and…

We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of…

A $\Sigma^*$-algebra is a concrete $C^*$-algebra that is sequentially closed in the weak operator topology. We study an appropriate class of $C^*$-modules over $\Sigma^*$-algebras analogous to the class of $W^*$-modules (selfdual…

We give two characterizations of tracially nuclear C*-algebras. The first is that the finite summand of the second dual is hyperfinite. The second is in terms of a variant of the weak* uniqueness property. The necessary condition holds for…

We show that every Lie ideal in a unital, properly infinite C*-algebra is commutator equivalent to a unique two-sided ideal. It follows that the Lie ideal structure of such a C*-algebra is concisely encoded by its lattice of two-sided…

For coalgebras $C$ over a field, we study when the categories ${}^C\Mm$ of left $C$-comodules and $\Mm^C$ of right $C$-comodules are symmetric categories, in the sense that there is a duality between the categories of finitely presented…