The logic Elephant: Topos theory

• 14-Nov-2023

  • Speaker: Ali Hamad

    • Abstract: Part II. We review first order theories and how to interpret them in a topos. We also define the syntactic topos.

• 17-Nov-2023: No meeting today.

• 10-Nov-2023

  • Speaker: Ali Hamad

    • Abstract: We review first order theories and how to interpret them in a topos. We also define the syntactic topos.

• 03-Nov-2023

  • Speaker: Samuel Desroches

    • Abstract: Part II. We introduce Grothendieck topologies, and consequently sheaves over sites.

• 27-Oct-2023

  • Speaker: Samuel Desroches

    • Abstract: Part I. We introduce Grothendieck topologies, and consequently sheaves over sites.

• 20-Oct-2023

  • Speaker: Daniel Almeida

    • Abstract: In this session we focus on discussing examples of some interesting (elementary) toposes, in particular presheaves topoi.

• 13-Oct-2023

  • Speaker: Cesar Bardomiano

    • Abstract: We finish the proof that an elementary topos is finitely cocomplete. We also prove the fundamental theorem of topos theory.

• 06-Oct-2023

  • Speaker: Cesar Bardomiano

    • Abstract: We introduce the definition of an elementary topos and give the tools to prove that an elementary topos has all finite limits.