The next session of the Logica Universalis Webinar will be November 15 at 4pm CET (Meio dia em Brasília) >---------------------------------------------------- Speaker: Alexander De Klerck, KU Leuven, Belgium Title "Morphisms between Aristotelian Diagrams" Abstract: In logical geometry, Aristotelian diagrams are studied in a precise and systematic way. Although there has recently been a good amount of progress in logical geometry, it is still unknown which underlying mathematical framework is best suited for formalizing the study of these diagrams. Hence, in this paper, the main aim is to formulate such a framework, using the powerful language of category theory. We build multiple categories, which all have Aristotelian diagrams as their objects, while having different kinds of morphisms between these diagrams. The categories developed here are assessed according to their ability to generalize previous work from logical geometry as well as their interesting category-theoretical properties. According to these evaluations, the most promising category has as its morphisms those functions on fragments that increase in informativity on both the opposition and implication relations. Focusing on this category can significantly increase the effectiveness of further research in logical geometry. https://www.springer.com/journal/11787/
Associate organization/project: STARTDIALOG (ERC project) - Towards a Systematic Theory of Aristotelian Diagrams in Logical Geometry https://www.lorenzdemey.eu/startdialog presented by its director Lorenz Demey Chair: Srećko Kovač, Editorial Board LU Everybody is welcome to join, register here: https://cassyni.com/s/logica-universalis/seminars Jean-Yves Beziau Editor-in-Chief Logica Universalis Organizer Logica Universalis Webinar 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/CAF2zFLAmuo-5H9waBx8319%2Be_RTE9nLAyp-MB7NBRvJL_K5fRQ%40mail.gmail.com.