FondoMichael Wright Collection
4610 más...
Unidad documental simpleMW0001556 - 18/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: dinner conversations: A Macintyre, C MacLarty, J Mayberry, A Afriat / conversation Colin McLarty re. set theory ex geometry & (non)cohesion (contd.)
Unidad documental simpleMW0001557 - 18/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Angus Macintyre: Ultraproducts of functors re. Weil cohomology theories
Unidad documental simpleMW0001557 - 18/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence:
Unidad documental simpleMW0001558 - 18/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Admin / lunch conversations incl A Afriat / Dana Scott: Equilogical spaces
Unidad documental simpleMW0001558 - B
Unidad documental simpleMW0001559 - 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
Unidad documental simpleMW0001560 - 19/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Peter Johnstone: A survey of realizability toposes / lunch conversations
Unidad documental simpleMW0001561 - 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)
Unidad documental simpleMW0001562 - 17/11/03 Dinner conversations: FW Lawvere re. Tame topology program
3616 más...

Informes

Informes