Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Parcourir
Parcourir
Descriptions archivistiques
Notices d'autorité
Services d'archives
Fonctions
Sujets
Lieux
Documents numériques
Rechercher
Search options
Recherche générale
Recherche avancée
Search in browse page
Presse-papier
Presse-papier
Presse-papier
Effacer toutes les sélections
Aller au presse-papier
Charge le presse-papier
Sauvegarder le presse-papier
Langue
Langue
Langue
English
Français
Español
Nederlands
Português
Liens rapides
Liens rapides
Liens rapides
Accueil
À propos
Politique de confidentialité
Aide
Ouverture de session
Avez-vous un compte ?
Courriel
*
This field is required.
Mot de passe
*
This field is required.
Ouverture de session
Fonds
Recherche rapide
Fonds
Michael Wright Collection
5542 en plus...
Pièce
MW0000878 - 13/06/05 Rencontres, Fougeres: am & pm discussions: FW Lawvere, P Cartier, C McLarty, A MacIntyre, JL Bell, M Wright re. Grothendieck & Bourbaki, Bourbaki's theory of structures & category theory
Pièce
MW0000879 - 13/06/05 Rencontres, Fougeres: am discussions: FW Lawvere, P Cartier, C McLarty, A MacIntyre, JL Bell re. Grothendieck's program in algebraic geometry, logic, quantity, set theory, topos theory
Pièce
MW0000880 - 01/06/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: Space-like categories / 1st part of Iekke Moerdijk: Classifying toposes, descent, groupoid representations
Pièce
MW0000881 - 31/05/05 Topos Theory Summer School, Haute Bodeux: Peter Johnstone: Morphisms of sites / 01/06/05 Steve Awodey: Algebraic set theory part 1
Pièce
MW0000882 - 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
Pièce
MW0000883 - 30/05/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: Examples of toposes / Tutorial session & discussions FW Lawvere, Freyd, Johnstone, Tierney et al.
Pièce
MW0000884 - 30/05/05 Topos Theory Summer School, Haute Bodeux: PeterJohnstone: Sites & coverages in toposes / Iekke Moerdijk: Classifying toposes, descent, groupoid representations (1)
Pièce
MW0000891 - 07/01/05 Bristol Meeting PM session: Talk 5: Aldo Antonelli: There are no more As than Bs & other non-standard quantifiers
Pièce
MW0000892 - 07/01/05 Bristol Workshop: Talk 3: James Ladyman: Mathematical Structuralism & the identity of mathematical objects
2684 en plus...
Rechercher
Rapports
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
Rapports
Il n'y a pas de rapports pertinents pour cet élément
Annuler