Category of Complete Atomic Heyting Algebras