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
7061 more...
Item
MW0002520 - 03/07/07 Kant & philosophy of physics, Royal institute of philosophy: F. Weinert: The long arm of Kant's copernican turn (incomplete) / Margeret Morrison: Measusurability: Reduction & the nature of science; Kant's legacy
Item
MW0002521 - 02/07/07 Kant & philosophy of physics, Royal institute of philosophy: Carl Posy: Kantianism in the foundations of mathematics / Daniel sutherland: Kant & Frege on numbers, units & intuition
Item
MW0002522 - 02/07/07 Kant & philosophy of physics, Royal institute of philosophy: Hasok Chang: Conditional transcendental arguments for ontological principles / Lunch conversations
Item
MW0002523 - 02/07/07 Kant & philosophy of physics, Royal institute of philosophy: Michael Friedman: Einstein, Kant * the relativised a priori (incomplete) / Michela Massimi: Why there are no ready; made phenomena what philosophers of sceince should learn from Kant / Coffee break conversations
Item
MW0002524 - 23/06/07 CT 2007, Carveilho, Portugal: Martin Hyland: Fibrations in logic
Item
MW0002525 - 23/06/07 CT 2007, Carveilho, Portugal: Jiri Rosicky: Combinaturial model categories / Marco Grandis: Cospans & weak cubical categories in algebraic topolgy / Tim Van Der Linden: The equivalence between Barr-Beck cotriple homology and the Brown-Ellis HOPF formulas / Eugenia Cheng: Comparing operadic theories of n-categories
Item
MW0002526 - 22/06/07 CT 2007, Carveilho, Portugal: T Janelidze: Relative semi-abelian categories / Joao Xarez: Kan extensions, models of sketches and the co-equaliser of the kernel pair process / Z Jandelidze: Cover relations on catefories / J Cohen: Coherence with & without weak nomal forms / S Paoli: Semistrict tamsamams e-groupoids and connected n-types
Item
MW0002527 - 21/06/07 CT 2007, Carveilho, Portugal: Marcus Menni: Lauchli's completeness from a topos theoretic perspective / Eduardo J Dubucs: 2-preobjects / Peter Johnstone: Bill Lawvere;; the search for cohesion / 22/06/07: Thorsten Palm: A geometry for diagrammatic computads
Item
MW0002528 - 21/06/07 CT 2007, Carveilho, Portugal: Bob Coecke: Quantum physics as it is practised in the lab / P Resende: Quantale-valued sets, quantale modules and groupoid actions / R Wood: Cartesian biocategories as symmetric monoidal bicategories / D Verity: Weak complicial sets & internatl quasi-categories
1165 more...
Search
Reports
23/06/07 CT 2007, Carveilho, Portugal: Martin Hyland: Fibrations in logic
Reports
There are no relevant reports for this item
Cancel