O objetivo central desta Dissertação é estudar alguns teoremas referentes à teoria das categorias de estruturas, por meio de ferramentas e argumentos da teoria dos conjuntos, a fim de mostrar que, nesse contexto, esse tipo de argumentação pode ser mais fina do que os seus equivalentes categoriais. Secundariamente são exploradas algumas aplicações matemáticas dos instrumentais categorial e conjuntista aqui desenvolvidos.

The main goal of this Dissertation is to study some theorems about category theory of structures, using tools and arguments from set theory, in order to show that, in this context, this type of argumentation can be sharper than their categorical equivalents. Secondly, some mathematical applications of the categorical and conjunctist instruments here developed are explored.