Portugal

Área de elementos

Taxonomía

Lugares

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

Portugal

Términos equivalentes

Portugal

Términos asociados

Portugal

8 Descripción archivística resultados para Portugal

8 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

18/06/07 International Category Theory Meeting, Algarve, Portugal: FW Lawvere: Categories of cohesion in geometry & analysis / Questions (incomplete)

MW0002583 · 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 Lugares:

Restringir resultados por:

Portugal

Área de elementos

Taxonomía

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

Portugal

Términos equivalentes

Portugal

Términos asociados

Portugal

8 Descripción archivística resultados para Portugal