Mostrando 9 resultados

Descripción archivística

Tierney, Miles

Imprimir vista previa

Card view Table view

02/06/05 Topos Theory Summer School, Haute Bodeux: Miles Tierney: 2nd talk / 03/06/05 Iekke Moerdijk: 3rd talk / Peter T Johnstone: 3rd talk (contd.)

MW0000825 · Unidad documental simple

Parte de Michael Wright Collection

03/06/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: 3rd talk / 04/06/05 Peter Freyd: 3rd talk / Miles Tierney: 3rd talk / Steve Awodey: 3rd talk

MW0000861 · Unidad documental simple

Parte de 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

MW0000863 · Unidad documental simple

Parte de Michael Wright Collection

02/06/05 Topos Theory Summer School, Haute Bodeux: Miles Tierney: 2nd talk / 03/06/05 Iekke Moerdijk: 3rd talk / Peter T Johnstone: 3rd talk

MW0000825 · Unidad documental simple

Parte de Michael Wright Collection

25/07/90 CT90 category theory conference, Como, Italy: M Tierney: Groupoids & classifiying spaces

MW0003327 · Unidad documental simple

Parte de Michael Wright Collection

03/06/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: 3rd talk / 04/06/05 Peter Freyd: 3rd talk / Miles Tierney: 3rd talk / Steve Awodey: 3rd talk (contd.)

MW0000861 · Unidad documental simple

Parte de Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: Discussions / MW notes re. books / Peter Johnstone, FW Lawvere, Miles Tierney & Peter Freyd: tutorials & discussions (contd.)

MW0000863 · Unidad documental simple

Parte de Michael Wright Collection

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

MW0000882 · Unidad documental simple

Parte de 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.

MW0000883 · Unidad documental simple

Parte de Michael Wright Collection