Mostrar 6 resultados

Descrição arquivística
Mellies, Paul-Andre
Previsualizar a impressão
Visualização em ficha Visualização em tabela
14/05/08 Second International Workshop on Categories Logic and The Foundations of Physics, Imperial College London: Fay Dowker: Dynamical Logic / Basil Hiley: Towards a Quantum Geometry: Groupoids, Clifford algebras and shadow manifolds / lunch conversations / Peter Johnstone: Topos-theoretic models of the continuum / Bruce Bartlett: Aspects of duality in 2-categories / discussion / Paul-Andre Mellies: Qunatum groupoids and logical dualities / Paolo Bertozzini: Categories of spectral geometries
MWC-MW0002373 · Item
Parte de Michael Wright Collection
14/05/08 Second International Workshop on Categories Logic and The Foundations of Physics, Imperial College London: Fay Dowker: Dynamical Logic / Basil Hiley: Towards a Quantum Geometry: Groupoids, Clifford algebras and shadow manifolds / lunch conversations / Peter Johnstone: Topos-theoretic models of the continuum / Bruce Bartlett: Aspects of duality in 2-categories / discussion / Paul-Andre Mellies: Qunatum groupoids and logical dualities / Paolo Bertozzini: Categories of spectral geometries
MWC-MW0002597 · Item
Parte de Michael Wright Collection
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)
MWC-MW0002560 · Item
Parte de Michael Wright Collection
14/05/08 Second International Workshop on Categories Logic and The Foundations of Physics, Imperial College London: Fay Dowker: Dynamical Logic / Basil Hiley: Towards a Quantum Geometry: Groupoids, Clifford algebras and shadow manifolds / lunch conversations / Peter Johnstone: Topos-theoretic models of the continuum / Bruce Bartlett: Aspects of duality in 2-categories / discussion / Paul-Andre Mellies: Qunatum groupoids and logical dualities / Paolo Bertozzini: Categories of spectral geometries
MWC-MW0002374 · Item
Parte de Michael Wright Collection