Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações usualmente são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a agenda completa).
Data: 04 de novembro de 2021 (quinta-feira) Horário: 16:00h GMT-3 Apresentador: Martin Escardo (University of Birminghan) Título: Equality of mathematical structures. Resumo: Two groups are regarded to be the same if they are isomorphic, two topological spaces are regarded to be the same if they are homeomorphic, two metric spaces are regarded to be the same if they are isometric, two categories are regarded to be the same if they are equivalent, etc. In Voevodsky's Univalent Foundations (HoTT/UF), the above become theorems: we can replace "are regarded to be the same” by "are the same". I will explain how this works. I will not assume previous knowledge of HoTT/UF or type theory. A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/irx-auep-ype . -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq09WfG20iAHqC8gE-rqwgLT-YjJrLX%3D5y6F48RTzvr%2BQtg%40mail.gmail.com.
