This paper is a continuation of the paper, Matsumoto [‘Subshifts, $\lambda $ -graph bisystems and $C^*$ -algebras’, J. Math. Anal. Appl. 485 (2020), 123843]. A $\lambda $ -graph bisystem consists of a pair of two labeled Bratteli diagrams satisfying a certain compatibility condition on their edge labeling. For any two-sided subshift $\Lambda $ , there exists a $\lambda $ -graph bisystem satisfying a special property called the follower–predecessor compatibility condition. We construct an AF-algebra ${\mathcal {F}}_{\mathcal {L}}$ with shift automorphism $\rho _{\mathcal {L}}$ from a $\lambda $ -graph bisystem $({\mathcal {L}}^-,{\mathcal {L}}^+)$ , and define a $C^*$ -algebra ${\mathcal R}_{\mathcal {L}}$ by the crossed product . It is a two-sided subshift analogue of asymptotic Ruelle algebras constructed from Smale spaces. If $\lambda $ -graph bisystems come from two-sided subshifts, these $C^*$ -algebras are proved to be invariant under topological conjugacy of the underlying subshifts. We present a simplicity condition of the $C^*$ -algebra ${\mathcal R}_{\mathcal {L}}$ and the K-theory formulas of the $C^*$ -algebras ${\mathcal {F}}_{\mathcal {L}}$ and ${\mathcal R}_{\mathcal {L}}$ . The K-group for the AF-algebra ${\mathcal {F}}_{\mathcal {L}}$ is regarded as a two-sided extension of the dimension group of subshifts.

We introduce a dimension group for a self-similar map as the $\mathrm {K}_0$ -group of the core of the C*-algebra associated with the self-similar map together with the canonical endomorphism. The key step for the computation is an explicit description of the core as the inductive limit using their matrix representations over the coefficient algebra, which can be described explicitly by the singularity structure of branched points. We compute that the dimension group for the tent map is isomorphic to the countably generated free abelian group ${\mathbb Z}^{\infty }\cong {\mathbb Z}[t]$ together with the unilateral shift, i.e. the multiplication map by t as an abstract group. Thus the canonical endomorphisms on the $\mathrm {K}_0$ -groups are not automorphisms in general. This is a different point compared with dimension groups for topological Markov shifts. We can count the singularity structure in the dimension groups.

A category structure for ordered Bratteli diagrams is proposed in which isomorphism coincides with the notion of equivalence of Herman, Putnam, and Skau. It is shown that the natural one-to-one correspondence between the category of Cantor minimal systems and the category of simple properly ordered Bratteli diagrams is in fact an equivalence of categories. This gives a Bratteli–Vershik model for factor maps between Cantor minimal systems. We give a construction of factor maps between Cantor minimal systems in terms of suitable maps (called premorphisms) between the corresponding ordered Bratteli diagrams, and we show that every factor map between two Cantor minimal systems is obtained in this way. Moreover, solving a natural question, we are able to characterize Glasner and Weiss’s notion of weak orbit equivalence of Cantor minimal systems in terms of the corresponding C*-algebra crossed products.

A category structure for Bratteli diagrams is proposed and a functor from the category of $\text{AF}$ algebras to the category of Bratteli diagrams is constructed. Since isomorphism of Bratteli diagrams in this category coincides with Bratteli’s notion of equivalence, we obtain in particular a functorial formulation of Bratteli’s classification of $\text{AF}$ algebras (and at the same time, of Glimm’s classification of $\text{UHF}$ algebras). It is shown that the three approaches to classification of $\text{AF}$ algebras, namely, through Bratteli diagrams, $\text{K}$-theory, and a certain natural abstract classifying category, are essentially the same from a categorical point of view.

Dimension groups (not countable) that are also real ordered vector spaces can be obtained as direct limits (over directed sets) of simplicial real vector spaces (finite dimensional vector spaces with the coordinatewise ordering), but the directed set is not as interesting as one would like; for instance, it is not true that a countable-dimensional real vector space that has interpolation can be represented as such a direct limit over a countable directed set. It turns out this is the case when the group is additionally simple, and it is shown that the latter have an ordered tensor product decomposition. In an appendix, we provide a huge class of polynomial rings that, with a pointwise ordering, are shown to satisfy interpolation, extending a result outlined by Fuchs.

We investigate categorical and amalgamation properties of the functor $\operatorname{Id_c}$ assigning to every partially ordered abelian group $G$ its $\langle \vee, 0 \rangle$-semilattice of compact ideals $\operatorname{Id_c} G$. Our main result is the following.

Theorem 1. Every diagram of finite Boolean semilattices indexed by a finite dismantlable partially ordered set can be lifted, with respect to the$\operatorname{Id_c}$functor, by a diagram of pseudo-simplicial vector spaces.

Pseudo-simplicial vector spaces are a special kind of finite-dimensional partially ordered vector spaces with interpolation over the field of rational numbers. The methods introduced also make it possible to prove the following ring-theoretical result.

Theorem 2. For any countable distributive$\langle \vee, 0 \rangle$-semilattices$S$and$T$and any field$K$, any$\langle \vee, 0 \rangle$-homomorphism$f \colon S \to T$can be lifted, with respect to the$\operatorname{Id_c}$functor on rings, by a homomorphism $f \colon A \to B$of$K$-algebras, for countably dimensional locally matricial algebras$A$and$B$over$K$.

We also state a lattice-theoretical analogue of Theorem 2 (with respect to the $\operatorname{Con_c}$ functor), and we provide counterexamples to various related statements. In particular, we prove that the result of Theorem 1 cannot be achieved with simplicial vector spaces alone.