Title: Set Theory and Category Theory in Combinatory Algebras