Michael Wright Collection

CT 2007, Carveilho

Elements area

Taxonomie

Code

Bereik aantekeningen

ron aantekeningen

Toon aantekening(en)

Hiërarchische termen

CT 2007, Carveilho

Gelijksoortige termen

CT 2007, Carveilho

Verwante termen

CT 2007, Carveilho

7 Archivistische beschrijving results for CT 2007, Carveilho

Only results directly related

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

MWC-MW0002526 · Stuk

Part of 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

MWC-MW0002527 · Stuk

Part of 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

MWC-MW0002530 · Stuk

Part of 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

MWC-MW0002525 · Stuk

Part of 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

MWC-MW0002528 · Stuk

Part of Michael Wright Collection

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

MWC-MW0002524 · Stuk

Part of 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

MWC-MW0002529 · Stuk

Part of Michael Wright Collection