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
6660 more...
Item
MW0000112 - 11/09/07 Jean-Yves Girard Workshop, IHP, Paris: Ieke Moerdijk: Trees, tensors & weak higher categories (contd.)
Item
MW0000113 - 09/09/07 PSSL 86, Nancy: Mark Weber: Parametric right adjoints and generalized nerves / Julia Goedecke: A comparision theorem for simplicical resolutions
Item
MW0000113 - 09/09/07 PSSL 86, Nancy: breaktime conversations S Awodey & D Pavlovic re. FW Lawvere, adjoints & Leibniz / Dusko Pavlovic: Geometry of abstraction +/or authentication
Item
MW0000114 - 08/09/07 PSSL 86, Nancy: Peter Johnstone: Quadrangle clubs (part 2) / breaktime conversations / Paul-Andre Mellies: Towards an algebra of duality
Item
MW0000114 - 08/09/07 PSSL 86, Nancy: Henrik Forssell: First order logical duality
Item
MW0000115 - 08/09/07 PSSL 86, Nancy: Krzysztof Worytkievicz: Folk model structure for co-categories
Item
MW0000115 - 08/09/07 PSSL 86, Nancy: Nicola Gambino: Associated sheaf functor in algebraic set theory / Peter Johnstone: Quadrangle clubs (part 1)
Item
MW0000116 - 07/09/07 PSSL 86, Nancy: evening conversations / Steve Awodey: Homotopy type theory
Item
MW0000116 - 07/09/07 PSSL 86, Nancy: Steve Awodey: Homotopy type theory (contd.) / discussion / Philippe Gaucher: Homotopical semantics of parallel composition in CCS / breaktime conversations: S Awodey & D Pavlovic
1566 more...
Search
Reports
08/09/07 PSSL 86, Nancy: Henrik Forssell: First order logical duality
Reports
There are no relevant reports for this item
Cancel