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
7106 más...
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
Unidad documental simpleMW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Nicola Gambino: The associated sheaf factor in algebraic set theory
Unidad documental simpleMW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Peter Johnstone: Quadrangle clubs
Unidad documental simpleMW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Paul Andre Mellies: First-order logical duality
Unidad documental simpleMW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Mark Weber: Parametric right adjoints theorem for simplicial resolutions / Julia Goedecke: A comparison theorem for simplicial resolutions
Unidad documental simpleMW0002560 - 09/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Dusko Pavlovic: The geometry of abstraction
Unidad documental simpleMW0002561 - 12/08/07 CQL 2007, Oxford science lab: AM coffee break conversations / Dusko Pavlovic: Geometry of data abstraction in quantum computing / Eric Paquette: Anyons & ribbon categories / PM coffee break conversations / Ross Duncan: Quantum entanglement and freely constructed compact categeories / Final conversations / 09/09/07 Dusko Pavlovic (incomplete) / subsequent discussion / 11/09/07: Meeting for 60th Birthday of Jean-Yves Girard, IHP, Paris: Olivier Laurent: Is not not A=A? / Iekke Moerdijk: Trees, Tensors and weak higher categories / Bernard Teissier: Cognition & foundations / Thierry Paul: How to go from quantum to classical systems by letting the dimension diverge / MW trip from IHP to hotel
1120 más...

Informes

08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Peter Johnstone: Quadrangle clubs

No hay informes relevantes para este ítem

Cancelar

Imprimido: 2026-04-19