摘要: Abstract We study the approximately finite-dimensional (AF) C ⁎ -algebras that appear as inductive limits of sequences and left-invertible embeddings. show there is such a separable AF-algebra A F which split-extension any -algebra has property isomorphic to quotient . Equivalently, by Elliott's classification AF-algebras, are surjectively universal countable scaled (or with order-unit) dimension groups. This universality consequence our result stating Fraisse limit category all With help theory we describe Bratteli diagram provide conditions characterizing it up isomorphisms. belongs class AF-algebras suitable categories -algebras, resemble ( 2 N ) in many senses. For instance, they have no minimal projections, tensorially absorb (i.e. -stable) satisfy similar homogeneity properties Cantor set.