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
7636 more...
Item
MW0002398 - 26/06/08 Calais International Category Theory Conference: Marta Bunge: Stacks revisited: Instrinsic n-stack completions over a topos / coffee break conversations incl. M Hyland & F W Lawvere / Pedro Resende: Quantales, Toposes and Groupoids / Andrée Ehresmann: From Schwartz distributions to the theory of control and evolutive systems / lunchtime conversations incl. F W Lawvere
Item
MW0002399 - 24/07/08 n-categories, n-groupoids & Categorical Logic Meeting, Institute de Mathematiques at Jussieu, Paris: Mark Weber: A tutorial on monads with arities / discussion / Nicolas Tabereau: Computing free models as Kan extensions / John Baez & James Dolan: Groupoidification / Dimitri Ara: Weak infinity-categories, Grothendieck versus Batanin / Samuel Mimram: A tutorial on polygraphs and their applications to semantics / Jonas Frey: A 2-dimensional adjunction between triposes and toposes / discussion
Item
MW0002400 - 24/06/08 Calais International Category Theory Conference: FW Lawvere: Lextensivity rig geometry and core varities / George Janelidze: Internal categories, descent and Galois theory in monoidal cateogories / Pedro Resende: On Cartesian bicategories (joint work with Bob Walters) / Pedro Resende: Natural transformations between strong monoidal functors and the Rubbano theorem: Adjoint characterisation of dualities in monoidal categories / 26/06/08 Taslyn Kusalik: The continuum hypothesis in topos theory and in algebraic set theory / discussions incl. FW Lawvere
Item
MW0002400 - 24/06/08 Calais International Category Theory Conference: FW Lawvere: Lextensivity rig geometry and core varities
Item
MW0002400 - 24/06/08 Calais International Category Theory Conference: off cut recording between talks
Item
MW0002400 - 24/06/08 Calais International Category Theory Conference: George Janelidze: Internal categories, descent and Galois theory in monoidal cateogories
Item
MW0002400 - 24/06/08 Calais International Category Theory Conference: off cut recording between talks
Item
MW0002400 - 24/06/08 Calais International Category Theory Conference: Pedro Resende: On Cartesian bicategories (joint work with Bob Walters) / Pedro Resende: Natural transformations between strong monoidal functors and the Rubbano theorem: Adjoint characterisation of dualities in monoidal categories
Item
MW0002400 - 24/06/08 Calais International Category Theory Conference: off cut recording between talks
590 more...
Search
Reports
24/06/08 Calais International Category Theory Conference: off cut recording between talks
Reports
There are no relevant reports for this item
Cancel