The next session of the Logica Universalis Webinar will be November 29 at 4pm CET (Paris-Geneva-Rome) >----------------------------------------------------------------------------------------------------- Speaker: William Troiani https://williamtroiani.github.io/ Title: "The internal logic and finite colimits" Abstract: We describe how finite colimits can be described using the internal language, also known as the Mitchell-Benabou language, of a topos, provided the topos admits countably in finite colimits. This description is based on the set theoretic definitions of colimits and coequalizers, however the translation is not direct due to the di erences between set theory and the internal language, these differences are described as *internal* versus *external*. Solutions to the hurdles which thus arise are given. https://www.springer.com/journal/11787/
Associated organization/project: LoVe: Logic and Verification https://lipn.univ-paris13.fr/love-en/ presented by Morgan Rogers Chair: Roberto Giuntini, Editorial Board LU https://people.unica.it/alophis/members/giuntini-roberto/ Everybody is welcome to join, register here: https://cassyni.com/s/logica-universalis/seminars Jean-Yves Beziau Editor-in-Chief Logica Universalis Organizer LUW https://www.jyb-logic.org/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDgtonvznupEQ-Wv-26U-8PYHqJ3QtvsBvtVmnnW5eS_w%40mail.gmail.com.
