CT 2007, Carveilho

Área de elementos

Taxonomía

Materias

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

CT 2007, Carveilho

Términos equivalentes

CT 2007, Carveilho

Términos asociados

CT 2007, Carveilho

7 Descripción archivística resultados para CT 2007, Carveilho

7 resultados directamente relacionados Excluir términos relacionados

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

MW0002524 · Unidad documental simple

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 · Unidad documental simple

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 · Unidad documental simple

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 · Unidad documental simple

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 · Unidad documental simple

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 · Unidad documental simple

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 · Unidad documental simple

Parte de Michael Wright Collection

Navegar Materias:

Restringir resultados por:

CT 2007, Carveilho

Área de elementos

Taxonomía

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

CT 2007, Carveilho

Términos equivalentes

CT 2007, Carveilho

Términos asociados

CT 2007, Carveilho

7 Descripción archivística resultados para CT 2007, Carveilho