Michael Wright Collection

Mostrar 21 resultados

Descrição arquivística

Johnstone, Peter

Previsualizar a impressão

Visualização em ficha Visualização em tabela

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)

michael-wright-collection-MW0002560 · Item

Parte de Michael Wright Collection

09/01/08 Categories, Logic & Foundations of Physics, Imperial College London: Roundtable discussion: Louis Crane, Samson Abramsky, Bob Coecke, Andreas Doering / discussions: Dusko Pavlovic, Chris Isham, Peter Johnstone / Louis Crane: Categorification of apacetime structure / discussions incl. Chris Isham

michael-wright-collection-MW0000334 · Item

Parte de Michael Wright Collection

10/10/08 Categories in Algebra, Geometry and Logic, Brussels Royal Flemish Academy: Andrée Ehresmann: Welcome+ Evolutive Systems in Mathematics / FW Lawvere: Categorical unity of geometry, algebra, analysis / Jiří Rosický: Homotopy accessible categories / Walter Tholen: On the categorical meaning of Hausdorff and Gromov distances / Diana Rodelo: The direction approach to cohomology / Tim Van der Linden: The third cohomology group classifies double central extensions / Zurab Janelidze: The codiagonal extended category structure of a protomodular category with finite coproducts / Peter Johnstone: Some lattices of subtoposes / 11/10/08 Jean Bénabou: Internal categories and fibrations revisited / Jacques Penon: Jets metrlques et structures mal'ceviennes / Maria Manuel Clementino: Topological algebras / Jacek Adamek: Quasiidentities in locally presentable categories / Sandra Mantovani: Internal crossed modules in strongly protomadular categories / Isar Stubbe: Skew local homeomorphisms / Stefaan Caenepeel:...

michael-wright-collection-MW0002416 · Item

Parte de Michael Wright Collection

14/05/08 Second International Workshop on Categories Logic and The Foundations of Physics, Imperial College London: Peter Johnstone: Topos-theoretic models of the continuum / round table discussion / Paolo Bertozzini: Categories of spectral geometries / conversations

michael-wright-collection-MW0003370 · Item

Parte de Michael Wright Collection

19/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Peter Johnstone: A survey of realizability toposes / lunch conversations

michael-wright-collection-MW0001560 · Item

Parte de Michael Wright Collection

21/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: dinner conversations P Johnstone & others

michael-wright-collection-MW0001577 · Item

Parte de Michael Wright Collection

?//07/90 CT90 category theory conference, Como, Italy: Peter Johnstone: ??

michael-wright-collection-MW0003330 · Item

Parte de Michael Wright Collection

31/05/05 Topos Theory Summer School, Haute Bodeux: Peter Johnstone: Morphisms of sites / 01/06/05 Steve Awodey: Algebraic set theory part 1

michael-wright-collection-MW0000881 · Item

Parte de Michael Wright Collection

08/09/07 PSSL 86, Nancy: Nicola Gambino: Associated sheaf functor in algebraic set theory / Peter Johnstone: Quadrangle clubs (part 1)

michael-wright-collection-MW0000115 · Item

Parte de Michael Wright Collection

08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Peter Johnstone: Quadrangle clubs

michael-wright-collection-MW0002560 · Item

Parte de Michael Wright Collection