Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Browse
Browse
Archival descriptions
Authority records
Archival institutions
Functions
Subjects
Places
Digital objects
Search
Search options
Global search
Advanced search
Search in browse page
Clipboard
Clipboard
Clipboard
Clear all selections
Go to clipboard
Load clipboard
Save clipboard
Language
Language
Language
English
Français
Español
Nederlands
Português
Quick links
Quick links
Quick links
Home
About
Privacy Policy
Help
Log in
Have an account?
Email
*
This field is required.
Password
*
This field is required.
Log in
Holdings
Quick search
Fonds
Michael Wright Collection
5543 more...
Item
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
Item
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
Item
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
Item
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
Item
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.
Item
MW0000884 - 30/05/05 Topos Theory Summer School, Haute Bodeux: PeterJohnstone: Sites & coverages in toposes / Iekke Moerdijk: Classifying toposes, descent, groupoid representations (1)
Item
MW0000891 - 07/01/05 Bristol Meeting PM session: Talk 5: Aldo Antonelli: There are no more As than Bs & other non-standard quantifiers
Item
MW0000892 - 07/01/05 Bristol Workshop: Talk 3: James Ladyman: Mathematical Structuralism & the identity of mathematical objects
Item
MW0000893 - 07/01/05 Bristol Workshop day 2: Talk 4: Branden Fitelson: A user-friendly decision procedure for probablity calculus w. applications to Bayesian confirmation theory
2683 more...
Search
Reports
30/05/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: Examples of toposes / Tutorial session & discussions FW Lawvere, Freyd, Johnstone, Tierney et al.
Reports
There are no relevant reports for this item
Cancel