It is known that every AI-algebra (i.e. inductive limit of interval algebras) is an AT-algebra (i.e. inductive limit of circle algebras)?
This seems a little bit odd because a building block of an AT-algebra can be embedded in a building block of an AI-algebra. Is there any example to clarify this?