Theory: Kat = Omega