CT 2007, Carveilho

Área de elementos

Taxonomia

Código

Nota(s) de âmbito

Nota(s) da fonte

Mostrar nota(s)

Termos hierárquicos

CT 2007, Carveilho

Termos equivalentes

CT 2007, Carveilho

Termos associados

CT 2007, Carveilho

7 Descrição arquivística resultados para CT 2007, Carveilho

7 resultados diretamente relacionados Excluir termos específicos

23/06/07 CT 2007, Carveilho, Portugal: Martin Hyland: Fibrations in logic

MW0002524 · Item

Parte de Michael Wright Collection

22/06/07 CT 2007, Carveilho, Portugal: T Janelidze: Relative semi-abelian categories / Joao Xarez: Kan extensions, models of sketches and the co-equaliser of the kernel pair process / Z Jandelidze: Cover relations on catefories / J Cohen: Coherence with & without weak nomal forms / S Paoli: Semistrict tamsamams e-groupoids and connected n-types

MW0002526 · Item

Parte de Michael Wright Collection

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

MW0002530 · Item

Parte de Michael Wright Collection

23/06/07 CT 2007, Carveilho, Portugal: Jiri Rosicky: Combinaturial model categories / Marco Grandis: Cospans & weak cubical categories in algebraic topolgy / Tim Van Der Linden: The equivalence between Barr-Beck cotriple homology and the Brown-Ellis HOPF formulas / Eugenia Cheng: Comparing operadic theories of n-categories

MW0002525 · Item

Parte de Michael Wright Collection

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

MW0002527 · Item

Parte de Michael Wright Collection

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

MW0002529 · Item

Parte de Michael Wright Collection

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

MW0002528 · Item

Parte de Michael Wright Collection