Demo site

Topos Theory Summer School

Elements area

Taxonomy

Subjects

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

Topos Theory Summer School

Equivalent terms

Topos Theory Summer School

Associated terms

Topos Theory Summer School

22 Archival description results for Topos Theory Summer School

22 results directly related Exclude narrower terms

31/05/05 Topos Theory Summer School, Haute Bodeux: PJ Freyd: Realizability & independence proofs I - NNOs in topos / Miles Tierney: Homotopy theory in toposes lecture 1

michael-wright-collection-MW0000882 · Item

Part of Michael Wright Collection

31/05/05 Topos Theory Summer School, Haute Bodeux: Peter Johnstone: Morphisms of sites / 01/06/05 Steve Awodey: Algebraic set theory part 1

michael-wright-collection-MW0000881 · Item

Part of Michael Wright Collection

31/05/05 Topos Theory Summer School, Haute Bodeux: Discussions incl. FW Lawvere re. Freyd's natural numbers, arithmetic in topos, "bad infinity" (contd.)

michael-wright-collection-MW0000862 · Item

Part of Michael Wright Collection

31/05/05 Topos Theory Summer School, Haute Bodeux: Discussions incl. FW Lawvere re. Freyd's natural numbers, arithmetic in topos, "bad infinity"

michael-wright-collection-MW0000862 · Item

Part of Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: PeterJohnstone: Sites & coverages in toposes / Iekke Moerdijk: Classifying toposes, descent, groupoid representations (1)

michael-wright-collection-MW0000884 · Item

Part of Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: Peter T Johnstone: Sites & coverages / Iekke Moerdijk: classifying toposes, descent. groupoid representations 1 / coffeebreak conversations (contd.)

michael-wright-collection-MW0000824 · Item

Part of Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: Peter T Johnstone: Sites & coverages / Iekke Moerdijk: classifying toposes, descent. groupoid representations 1 / coffeebreak conversations

michael-wright-collection-MW0000824 · Item

Part of Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: Examples of toposes / Tutorial session & discussions FW Lawvere, Freyd, Johnstone, Tierney et al.

michael-wright-collection-MW0000883 · Item

Part of Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: Example of toposes 1st talk / MW notes re. books / Peter T Johnstone, FW Lawvere, Miles Tierney & Peter Freyd: tutorials & discussions

michael-wright-collection-MW0000863 · Item

Part of Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: Discussions incl. FW Lawvere & others incl PT Johnstone post- 1st talk re. Examples of toposes

michael-wright-collection-MW0000822 · Item

Part of Michael Wright Collection

Browse Subjects:

Narrow your results by:

Topos Theory Summer School

Elements area

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

Topos Theory Summer School

Equivalent terms

Topos Theory Summer School

Associated terms

Topos Theory Summer School

22 Archival description results for Topos Theory Summer School