The internal logic and finite colimits - LUWebinar - November 29 at 4pm CET

[jean-yves beziau]

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/