Michael Wright Collection

CT 2007, Carveilho

Elements area

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

CT 2007, Carveilho

Equivalent terms

CT 2007, Carveilho

Associated terms

CT 2007, Carveilho

7 Archival description results for CT 2007, Carveilho

7 results directly related Exclude narrower terms

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 · Item

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 · Item

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 · Item

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 · Item

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

MWC-MW0002526 · Item

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 · Item

Part of Michael Wright Collection

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

MWC-MW0002524 · Item

Part of Michael Wright Collection