Encontro Brasileiro em Teoria das Categorias
Channel: IME USP
Date: 20/03/2023

O Encontro Brasileiro em Teoria das Categorias é um evento bianual que visa contribuir para a divulgação, desenvolvimento e consolidação da pesquisa em Teoria das Categorias no Brasil. Espera-se que aqui se conectem pesquisadores, estudantes e entusiastas, proporcionando um ambiente voltado à construção de colaborações e à discussão de temas globais, como os desafios enfrentados pelos profissionais da área.
Em sua segunda edição, o evento será de caráter presencial de 20 a 24 de Março de 2023, com transmissão ao vivo pelo Youtube. O evento conta com o apoio do IME-USP, do Math-Phys-Cat, da SBL, do INCTMat, da SBM e da FAPESP. Na programação teremos 10 palestras plenárias, 2 minicursos, apresentações orais curtas e sessão de pôsteres. Para mais informações, acesse https://encontrocategorico.mat.br/II/Sobre

00:00 - Continuação do dia 20/04(tarde)
01:06 -  Diagran chasing with the mates correspondence - Emily Riehl (Johns Hopkins University)
01:12:03 - Accessible Categories, AECs and Large Cardinals - Gabriel Zanetti e Gabriel Ciqueira
01:36:02 - Interpretação co-homológica e homotópica da teoria de modelos - Thiago Alexandre
02:30:53 - Matemática Orientada a Teorias - Juan Ferrer Meleiro
03:01:35 - Modelos Categoriais do Cálculo λ Não Tipado - José Goudet Alvim
03:24:15 - Classifying topoi for theories in Lκκ - Samuel Roldan
03:56:42 - Q−Set & Friends: Categorical Constructions and Categorical Properties - Caio de Andrade Mendes