Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Browse
Browse
Archival descriptions
Authority records
Archival institutions
Functions
Subjects
Places
Digital objects
Search
Search options
Global search
Advanced search
Search in browse page
Clipboard
Clipboard
Clipboard
Clear all selections
Go to clipboard
Load clipboard
Save clipboard
Language
Language
Language
English
Français
Español
Nederlands
Português
Quick links
Quick links
Quick links
Home
About
Privacy Policy
Help
Log in
Have an account?
Email
*
This field is required.
Password
*
This field is required.
Log in
Holdings
Quick search
Fonds
Michael Wright Collection
7107 more...
Item
MW0002560 - 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
Item
MW0002560 - 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
Item
MW0002560 - 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
Item
MW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Peter Johnstone: Quadrangle clubs
Item
MW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Paul Andre Mellies: First-order logical duality
Item
MW0002560 - 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
Item
MW0002560 - 09/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Dusko Pavlovic: The geometry of abstraction
Item
MW0002561 - 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
Item
MW0002562 - 24/09/07 F.E.R.T 2007 Meeting (Day1), Baumann University, Moscow: Dmitri G Pavlov: Polymetric geometries & Rashewski's pseudo-Finslerian spaces (incomplete) / G Yu Bogoslovsky: Velocity space in space-time with the Berwald-Moore metric / Subsequent discussions re O Titov; Apparent proper motions of reference radio sources / Marc Lachieze-Rey: The global topology of some cosmological models / PM coffee break conversations incl M Lachieze-Rey & J Vargas re their respective viewpoints on the role & correct understanding of torsion & curvature in modern differential geometry / R Cherkasov: Polyhedral (hexodecahedral) structure of the earth & its desymmetrisation in the course of evolution (during 4.65 Ga) / S V Siparov: Astrophysical measurements & the choice of geometry to describe space-time / Conversations / 25/09/07 F.E.R.T 2007 Meeting (Day1), Baumann University, Moscow: Jose Vargas: Metrics & a host of related concepts; their analysis in the Cartan-Clifton Finslerian theory of moving frames / Alexander ...
1119 more...
Search
Reports
08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Paul Andre Mellies: First-order logical duality
Reports
There are no relevant reports for this item
Cancel