Encontro Brasileiro em Teoria das Categorias
Channel: IME USP
Date: 22/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 - What formal equalities between rewriting paths have in common with homotopies, Kan complexes and ∞-categories - Ruy de Queiroz (UFPE)
01:08:18 - Mini-curso: Lógica Categorial - José Siqueira (Gonville & Caius College, University of Cambridge)