Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Navegar
Navegar
Descrições arquivísticas
Registos de autoridade
Instituição arquivística
Funções
Assuntos
Locais
Objeto digital
Pesquisar
Search options
Pesquisa global
Pesquisa avançada
Search in browse page
Área de transferência
Á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
Idioma
English
Français
Español
Nederlands
Português
Ligações rápidas
Ligações rápidas
Ligações rápidas
Início
Sobre
Política de privacidade
Ajuda
Entrar
Já possui uma conta?
Email
*
Este campo é obrigatório.
Senha
*
Este campo é obrigatório.
Entrar
Acervos documentais
Pesquisa rápida
Arquivo
Michael Wright Collection
7068 mais...
Item
MW0002527 - 21/06/07 CT 2007, Carveilho, Portugal: Marcus Menni: Lauchli's completeness from a topos theoretic perspective / Eduardo J Dubucs: 2-preobjects / Peter Johnstone: Bill Lawvere;; the search for cohesion / 22/06/07: Thorsten Palm: A geometry for diagrammatic computads
Item
MW0002528 - 21/06/07 CT 2007, Carveilho, Portugal: Bob Coecke: Quantum physics as it is practised in the lab / P Resende: Quantale-valued sets, quantale modules and groupoid actions / R Wood: Cartesian biocategories as symmetric monoidal bicategories / D Verity: Weak complicial sets & internatl quasi-categories
Item
MW0002529 - 18/06/07 CT 2007, Carveilho, Portugal: Michael Makkai: Computads & weaker higher-dimensional categories / O Manzyuk: Closed multicategory of A-infinity categories / 19/06/07: F Borceux: Protocalisations of homological categories / 20/06/07: Marcelo Fiore: Towards a mathematical theory of substitution / S Lack: Lawvere 2- theories
Item
MW0002530 - 18/06/07 CT 2007, Carveilho, Portugal: FW Lawvere: A strong Nullstellensatz for Euler continua in a cohesive topos / Tom Leinster: Jonsson-Tarski toposes / Jonathon Funk: F-inverse semigroups and toposes / Robert Walters: Calculating limits and co-limits compositionally
Item
MW0002531 - 18/06/07 The Yoneda Lemma. ENS: Rene Guitart: L'evidement des objects et le dehors comme substance / Alain Badiou: Le Lemma de yoneda; une interface naturelle / P Schapira: Lemma de Yoneda et dualite (incomplete)
Item
MW0002532 - 15/06/07 Seminaire Riemann: Michael Friedman: Einstein, Kant & the relativized A Prior (incomplete) / Interval / JJ Szczeciniarz: The transcendental field propper to the constitution of mathematics
Item
MW0002533 - 15/06/07 Seminaire Riemann: JJ Szczeciniarz: Discussion following talk (incomplete)
Item
MW0002534 - 07/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Per Martin-Lof: The Hilbert-Brouwer Controversy resolved?
Item
MW0002535 - 08/07/07 Askloster 2007: Fred Van Oeystaeyen: Quantization of relations; the structure of processes encoded in relations
1158 mais...
Pesquisar
Relatórios
18/06/07 The Yoneda Lemma. ENS: Rene Guitart: L'evidement des objects et le dehors comme substance / Alain Badiou: Le Lemma de yoneda; une interface naturelle / P Schapira: Lemma de Yoneda et dualite (incomplete)
Relatórios
Não existem relatórios relevantes para este item
Cancelar