Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Navegar
Descripción archivística
Registro de autoridad
Instituciones archivísticas
Funciones
Materias
Lugares
Objetos digitales

Búsqueda

Búsqueda global

Búsqueda avanzada

Portapapeles
- Portapapeles
- Borrar selección
- Ir al portapapeles
- Cargar portapapeles
- Save clipboard
Idioma
- Idioma
- English
- Français
- Español
- Nederlands
- Português
Enlaces rápidos
- Enlaces rápidos
- Inicio
- Acerca
- Privacy Policy
- Ayuda

¿Estás registrado?

Correo electrónico*This field is required.

Contraseña*This field is required.

FondoMichael Wright Collection
7100 más...
Unidad documental simpleMW0002559 - MW microphone test / 15/06/07 Seminaire RIEMANN, ENS: Discussion following JJ Szczenziniarz; algebraic varieties and schemes as examples of relativized a priori concepts (of space?)
Unidad documental simpleMW0002560 - 24/08/07 Discussions incl. FW Lawvere re plans for Boston colloquium / 8/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Introductory remarks / Steve Awodey: Homotopy type theory / Philippe Gaucher: Homotopical semantics of parallel composition in CC / Kryzysztof Worytkievicz: The folk-model structure for omega-categories / Nicola Gambino: The associated sheaf factor in algebraic set theory / Peter Johnstone: Quadrangle clubs / Paul Andre Mellies: First-order logical duality / 09/09/07: Mark Weber: Parametric right adjoints theorem for simplicial resolutions / Dusko Pavlovic: The geometry of abstraction (and/or authentication)
Unidad documental simpleMW0002560 - 24/08/07 Discussions incl. FW Lawvere re plans for Boston colloquium: MW off cut recording before leaving answer phone message
Unidad documental simpleMW0002560 - 24/08/07 Discussions incl. FW Lawvere re plans for Boston colloquium: MW leaving answer phone message for FW & Fatima Lawvere
Unidad documental simpleMW0002560 - 24/08/07 Discussions incl. FW Lawvere re plans for Boston colloquium: Phone conversations incl. FW Lawvere, M Wright
Unidad documental simpleMW0002560 - 24/08/07 Discussions incl. FW Lawvere re plans for Boston colloquium: Phone conversations incl. FW Lawvere, M Wright (contd.)
Unidad documental simpleMW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Introductory remarks
Unidad documental simpleMW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Steve Awodey: Homotopy type theory / Philippe Gaucher: Homotopical semantics of parallel composition in CC
Unidad documental simpleMW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Kryzysztof Worytkievicz: The folk-model structure for omega-categories
1126 más...

Informes

24/08/07 Discussions incl. FW Lawvere re plans for Boston colloquium: Phone conversations incl. FW Lawvere, M Wright

No hay informes relevantes para este ítem

Cancelar

Imprimido: 2026-04-19