Interações entre Teoria das Categorias, Lógica e Teoria dos Conjuntos