それは集合の圏というものを考えることが出来る、というだけで、
圏論の言語によって集合論の理論を解釈することが出来る、というわけじゃないでしょ。