Após introduzirmos o embasamento conjuntista e categorial necessários, apresentamos as noções tradicional combinatória e catergorial universal de especificação de estruturas via sentenças de primeira ordem em lógicas infinitárias e por esboços, especificações de limites projetivos e indutivos. Verificamos a equivalência dessas abordagens, demonstramos teroremas de caracterização das categorias de modelos conjuntistas dessas sintaxes e exploramos algumas propriedades dessa classe de categorias

After introducing the necessary set-theoretical and categorial basis, we presented the traditional combinatory and categorial-universal conceptions of structure specification through first-order sentences in infinitary logics and by sketches: projectives and inductives limits specifications. We verified the equivalency of such approaches, demonstrated caracterizations theorems for the models categories of such sintaxis and explored some properties of such class of categories