Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Navegar
Navegar
Descripción archivística
Registro de autoridad
Instituciones archivísticas
Funciones
Materias
Lugares
Objetos digitales
Búsqueda
Search options
Búsqueda global
Búsqueda avanzada
Search in browse page
Portapapeles
Portapapeles
Portapapeles
Borrar selección
Ir al portapapeles
Cargar portapapeles
Save clipboard
Idioma
Idioma
Idioma
English
Français
Español
Nederlands
Português
Enlaces rápidos
Enlaces rápidos
Enlaces rápidos
Inicio
Acerca
Privacy Policy
Ayuda
Iniciar sesión
¿Estás registrado?
Correo electrónico
*
This field is required.
Contraseña
*
This field is required.
Iniciar sesión
Fondos
Búsqueda rápida
Fondo
Michael Wright Collection
7962 más...
Unidad documental simple
MW0000886 - 31/03/09 AM Session (Part I): Foundations of Mathematics Workshop, Bristol: Discussion Jed by FWL with Anders Kock, and others of Proposed Mathematical Model for Leibnizian notion of Monad. Discussion of Parmenides and Zeno and emergence of Dialectics.
Unidad documental simple
MW0000886 - 31/03/09 AM Session (Part II): Foundations of Mathematics Workshop, Bristol: Further discussion berween FWL and Anders Kock on Cohomology in the Simplicial and Cubical senings. Discussion of Differential Fonns and Structure in Tangent Bundles from the SDG Viewpoint.
Unidad documental simple
MW0000886 - 31/03/09 Foundations of Mathematics Workshop, Bristol: Discussion between Anders Kock and FWL on developments in SDG since The fonnulation of the Kock-Lawvere axiom and the definition of the smooth topos.
Unidad documental simple
MW0000886 - 31/03/09 Foundations of Mathematics Workshop, Bristol: Andrei Rodin: "Categories without structures; what is the real bearing of category theory on discussions of mathematical structuralism? / discussion
Unidad documental simple
MW0000886 - 31/03/09 Foundations of Mathematics Workshop, Bristol: Discussions led by FWL: Products of derivatives and qualifications of the chain rule; straight line graphs; split co-equalisersand canonical forms and axiom of choice
Unidad documental simple
MW0000887 - 04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere
Unidad documental simple
MW0000887 - 04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere
Unidad documental simple
MW0000887 - 04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere
Unidad documental simple
MW0000887 - 04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere
264 más...
Búsqueda
Informes
31/03/09 Foundations of Mathematics Workshop, Bristol: Discussions led by FWL: Products of derivatives and qualifications of the chain rule; straight line graphs; split co-equalisersand canonical forms and axiom of choice
Informes
No hay informes relevantes para este ítem
Cancelar