We know the fact that $K_0(-)$ and $K_1(-)$ are continuous under inductive sequence of $C^*$-algebras (in fact inductive system), i.e. $K_0(\lim_{\rightarrow} A_n)=\lim_{\rightarrow} K_0(A_n)$ similar for $K_1(-)$. In fact it is also true that $M_k(\lim_{\rightarrow} A_n)=\lim_{\rightarrow} M_k(A_n)$ for $k\in \mathbb N$. Q1: $\widetilde{(\lim_{\rightarrow} A_n)}=\lim_{\rightarrow}\tilde{(A_n)}$? In fact this is a claim in someones' book, but without a proof. If we let $(X,\lambda_n)$ be the inductive limit of $\tilde{A_1}\rightarrow \tilde{A_2}^~\cdots$, then by universal property we get a unique morphism $\lambda: X\rightarrow \tilde{\lim_{\rightarrow} A_n}$. How can we show $\lambda$ is injective? NB morphisms need not be unital, even though $C^*$-algebras are unital. Q2: Can we find any other continuous functors? What about the universal group $C^*$-algebras, tensor product of $C^*$-algebras, cross product of $C^*$-algebras and so on? Q3: Do we know any functors which is not continuous?