Pesquisar

Pesquisa global

Email*Este campo é obrigatório.

Senha*Este campo é obrigatório.

ArquivoMichael Wright Collection
6660 mais...
ItemMW0000112 - 11/09/07 Jean-Yves Girard Workshop, IHP, Paris: Ieke Moerdijk: Trees, tensors & weak higher categories (contd.)
ItemMW0000113 - 09/09/07 PSSL 86, Nancy: Mark Weber: Parametric right adjoints and generalized nerves / Julia Goedecke: A comparision theorem for simplicical resolutions
ItemMW0000113 - 09/09/07 PSSL 86, Nancy: breaktime conversations S Awodey & D Pavlovic re. FW Lawvere, adjoints & Leibniz / Dusko Pavlovic: Geometry of abstraction +/or authentication
ItemMW0000114 - 08/09/07 PSSL 86, Nancy: Peter Johnstone: Quadrangle clubs (part 2) / breaktime conversations / Paul-Andre Mellies: Towards an algebra of duality
ItemMW0000114 - 08/09/07 PSSL 86, Nancy: Henrik Forssell: First order logical duality
ItemMW0000115 - 08/09/07 PSSL 86, Nancy: Krzysztof Worytkievicz: Folk model structure for co-categories
ItemMW0000115 - 08/09/07 PSSL 86, Nancy: Nicola Gambino: Associated sheaf functor in algebraic set theory / Peter Johnstone: Quadrangle clubs (part 1)
ItemMW0000116 - 07/09/07 PSSL 86, Nancy: evening conversations / Steve Awodey: Homotopy type theory
ItemMW0000116 - 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 mais...

Relatórios

08/09/07 PSSL 86, Nancy: Henrik Forssell: First order logical duality

Não existem relatórios relevantes para este item

Impressão: 2026-04-16