Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Navegar
Descrições arquivísticas
Registos de autoridade
Instituição arquivística
Funções
Assuntos
Locais
Objeto digital

Pesquisar

Pesquisa global

Pesquisa avançada

Área de transferência
- Área de transferência
- Limpar todas as selecções
- Ir para a área de transferência
- Carregar Área de Transferência
- Guardar área de transferência
Idioma
- Idioma
- English
- Français
- Español
- Nederlands
- Português
Ligações rápidas
- Ligações rápidas
- Início
- Sobre
- Política de privacidade
- Ajuda

Já possui uma conta?

Email*Este campo é obrigatório.

Senha*Este campo é obrigatório.

ArquivoMichael Wright Collection
7107 mais...
ItemMW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Steve Awodey: Homotopy type theory / Philippe Gaucher: Homotopical semantics of parallel composition in CC
ItemMW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Kryzysztof Worytkievicz: The folk-model structure for omega-categories
ItemMW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Nicola Gambino: The associated sheaf factor in algebraic set theory
ItemMW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Peter Johnstone: Quadrangle clubs
ItemMW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Paul Andre Mellies: First-order logical duality
ItemMW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Mark Weber: Parametric right adjoints theorem for simplicial resolutions / Julia Goedecke: A comparison theorem for simplicial resolutions
ItemMW0002560 - 09/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Dusko Pavlovic: The geometry of abstraction
ItemMW0002561 - 12/08/07 CQL 2007, Oxford science lab: AM coffee break conversations / Dusko Pavlovic: Geometry of data abstraction in quantum computing / Eric Paquette: Anyons & ribbon categories / PM coffee break conversations / Ross Duncan: Quantum entanglement and freely constructed compact categeories / Final conversations / 09/09/07 Dusko Pavlovic (incomplete) / subsequent discussion / 11/09/07: Meeting for 60th Birthday of Jean-Yves Girard, IHP, Paris: Olivier Laurent: Is not not A=A? / Iekke Moerdijk: Trees, Tensors and weak higher categories / Bernard Teissier: Cognition & foundations / Thierry Paul: How to go from quantum to classical systems by letting the dimension diverge / MW trip from IHP to hotel
ItemMW0002562 - 24/09/07 F.E.R.T 2007 Meeting (Day1), Baumann University, Moscow: Dmitri G Pavlov: Polymetric geometries & Rashewski's pseudo-Finslerian spaces (incomplete) / G Yu Bogoslovsky: Velocity space in space-time with the Berwald-Moore metric / Subsequent discussions re O Titov; Apparent proper motions of reference radio sources / Marc Lachieze-Rey: The global topology of some cosmological models / PM coffee break conversations incl M Lachieze-Rey & J Vargas re their respective viewpoints on the role & correct understanding of torsion & curvature in modern differential geometry / R Cherkasov: Polyhedral (hexodecahedral) structure of the earth & its desymmetrisation in the course of evolution (during 4.65 Ga) / S V Siparov: Astrophysical measurements & the choice of geometry to describe space-time / Conversations / 25/09/07 F.E.R.T 2007 Meeting (Day1), Baumann University, Moscow: Jose Vargas: Metrics & a host of related concepts; their analysis in the Cartan-Clifton Finslerian theory of moving frames / Alexander ...
1119 mais...

Relatórios

08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Paul Andre Mellies: First-order logical duality

Não existem relatórios relevantes para este item

Cancelar

Impressão: 2026-04-16