Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Blader
archivistische beschrijving
geautoriseerd bestand
archiefinstelling
Functies
Onderwerpen
Plaatsen
Digitale objecten

zoeken

Global search

Advanced search

Clipboard
- Clipboard
- Clear all selections
- Go to clipboard
- Load clipboard
- Save clipboard
Taal
- Taal
- English
- Français
- Español
- Nederlands
- Português
Quick links
- Quick links
- home
- Over
- Privacy Policy
- Help

Have an account?

E-mail*This field is required.

wachtwoord*This field is required.

ArchiefMichael Wright Collection
4612 more...
StukMW0001557 - 18/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence:
StukMW0001558 - 18/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Admin / lunch conversations incl A Afriat / Dana Scott: Equilogical spaces
StukMW0001558 - B
StukMW0001559 - 19/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: FW Lawvere: 2nd lecture (2 parts) / Peter Johnstone: A survey of realizability toposes / lunch conversations
StukMW0001560 - 19/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Peter Johnstone: A survey of realizability toposes / lunch conversations
StukMW0001561 - 19/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Colin McLarty: Mathematics as Philosophy - Mechane, Grothendieck, Lawvere / Martin Hyland: Higher dimensional linear algebra / Coffee break: P Cartier / Martha Bunge: Geometric aspects of Lawvere distributions (1st part)
StukMW0001562 - 17/11/03 Dinner conversations: FW Lawvere re. Tame topology program
StukMW0001562 - 17/11/03 Dinner conversations: FW Lawvere re. Tame topology program (contd.)
StukMW0001563 - 17/11/03 Evening conversations: FW Lawvere, C McLarty, J Baez
3614 more...

Reports

19/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Peter Johnstone: A survey of realizability toposes / lunch conversations

There are no relevant reports for this item

Verwijderen

Printed: 2026-04-19