some logical aspects of topos theory and examples from
play

Some logical aspects of topos theory and examples from algebraic - PDF document

Some logical aspects of topos theory and examples from algebraic geometry Matthias Hutzler Universit at Augsburg June 15, 2020 Definition An (elementary) topos is a category with finite limits and power objects. Example For a


  1. Some logical aspects of topos theory and examples from algebraic geometry Matthias Hutzler Universit¨ at Augsburg June 15, 2020

  2. Definition An (elementary) topos is a category with � finite limits and � power objects. Example For a topological space X , the category Sh ( X ) of sheaves on X is a topos.

  3. Sheaves

  4. Definition A sheaf (of sets) F on a topological space X is the following data: � a set F ( U ) for every open U ⊆ X � “restriction” maps F ( U ) → F ( V ) for V ⊆ U such that F ( U ) → F ( V ) → F ( W ) is F ( U ) → F ( W ) for W ⊆ V ⊆ U satisfying a certain glueing condition . Examples � F ( U ) = C 0 ( U ) = C 0 ( U , R ) � C 0 ( · , Y ) � C ∞ ( · , R ) if X is a smooth manifold

  5. Glueing condition : F ( U 1 ∪ U 2 ) = F ( U 1 ) × F ( U 2 ) for U 1 ∩ U 2 = ∅ . F ( U 1 ∪ U 2 ) = F ( U 1 ) × F ( U 1 ∩ U 2 ) F ( U 2 ) General requirement: For U = � i ∈ I U i and s i ∈ F ( U i ) with s i | U i ∩ U j = s j | U i ∩ U j for all i , j , there is a unique s ∈ F ( U ) with s | U i = s i for all i . Example F ( U ) = M for a fixed set M. Is this a sheaf?

  6. Example For every set M we have the constant sheaf M ( U ) = { locally constant functions U → M } . Remark For every sheaf F we have |F ( ∅ ) | = 1. Remark A sheaf on X = { pt } is just a set.

  7. Internal language

  8. We want to treat sheaves like sets/sorts/types. ∀ x : F . ∃ y : G . . . . Want to get only statements that can be checked locally .

  9. recursive definition (Kripke–Joyal semantics)

  10. Definition A sheaf of rings on X is just a ring internal to Sh ( X ). Example C 0 is a ring internal to Sh ( X ).

  11. example: C 0 looks like R

Recommend


More recommend