Rechercher

Recherche générale

Courriel*This field is required.

Mot de passe*This field is required.

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

Rapports

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

Il n'y a pas de rapports pertinents pour cet élément

Imprimé : 2026-04-15