Skip to main content
Toggle navigation
Browse
Browse
Recordings
Speakers & people
Subjects
Places
Recordings with online audio
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
Michael Wright Collection
← archivetrust.org
Creator of
Loading ...
08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Paul Andre Mellies: First-order logical duality
08/09/07 PSSL 86, Nancy: Peter Johnstone: Quadrangle clubs (part 2) / breaktime conversations / Paul-Andre Mellies: Towards an algebra of duality
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
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
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
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)
Browse 6 results
Mellies, Paul-Andre
Authority record
Mellies, Paul-Andre
Identity area
Type of entity
Authorized form of name
Mellies, Paul-Andre
Parallel form(s) of name
Standardized form(s) of name according to other rules
Other form(s) of name
Identifiers for corporate bodies
Description area
Dates of existence
History
Places
Legal status
Functions, occupations and activities
Mandates/sources of authority
Internal structures/genealogy
General context
Relationships area
Access points area
Subject access points
Place access points
Occupations
Control area
Authority record identifier
Institution identifier
Rules and/or conventions used
Status
Level of detail
Dates of creation, revision and deletion
Language(s)
Script(s)
Sources
Maintenance notes
Clipboard
Add
Export
EAC
Related subjects
Related places