Banca de DEFESA: LUCAS VINHÁTICO PONTES QUEIROZ

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : LUCAS VINHÁTICO PONTES QUEIROZ
DATA : 27/02/2026
HORA: 15:00
LOCAL: IME
TÍTULO:

Algebra Universal Categorial e Teorias de Lawvere

PALAVRAS-CHAVES:

Algebra Universal; Teorias de Lawvere; Teoria das Categorias

PÁGINAS: 108
RESUMO:

Neste trabalho, mostramos que, sob certas propriedades categ´oricas, podemos realizar a ´Algebra Universal Categorial e obter resultados semelhantes aos do caso em Set, como garantir a existˆencia de ´algebra livre sobre um dado objeto da categoria na qual os modelos s˜ao expressos. Mostramos tamb´em a rela¸c˜ao categorial que, em certo sentido, torna as teorias alg´ebricas e as teorias de Lawvere equivalentes.

MEMBROS DA BANCA:
Presidente - 2414884 - DARLLAN CONCEICAO PINTO
Externo à Instituição - HUGO LUIZ MARIANO - USP
Externo à Instituição - PETER ARNDT