Slides of Talks

• Marta Bunge (McGill Univ., Montreal, Canada)
  Branched coverings of quasi locally connected toposes
  
  
• Robin Cockett (Univ. of Calgary, Alberta, Canada)
  Join restriction categories: the importance of being adhesive
  
  
• Bob Coecke (Univ. of Oxford, UK)
  Quantum physics as it is practised in the lab
  
  
• Geoffrey Cruttwell (Dalhousie Univ., Halifax, Canada)
  Analysis and enriched Category Theory
  
  
• Eduardo J. Dubuc (Univ. de Buenos Aires, Argentina)
  2-Proobjects
  
  
• Jeff Egger (Dalhousie Univ., Halifax, Canada)
  *-Autonomous functor categories
  
  
• Luis Español (Univ. de La Rioja, Logroño, Spain)
  Extended real number object in the bornological topos
  
  
• Marcelo Fiore (Univ. of Cambridge, UK)
  Towards a mathematical theory of substitution
  
  
• Thomas Fiore (Univ. of Chicago, USA)
  Model structures on the category of double categories
  
  
• Richard Garner (Uppsala Univ., Sweden)
  The theory of glueing things on
  
  
• Miles Gould (Univ. Glasgow, UK)
  The categorification of linear theories is presentation-independent
  
  
• Luis Javier Hernández Paricio (Univ. de La Rioja, Logroño, Spain)
  Categorical groups for exterior spaces
  
  
• Dirk Hofmann (Univ. de Aveiro, Portugal)
  Topological spaces, categorically
  
  
• Martin Hyland (Univ. of Cambridge, UK)
  Fibrations in Logic
  
  
• Zurab Janelidze (Univ. of Cape Town, South Africa)
  Cover relations on categories
  
  
• Toby Kenney (Dalhousie Univ., Halifax, Canada)
  The connection between equivalence relations and subgroups
  
  
• Anders Kock (Univ. of Aarhus, Denmark)
  Some recent advances in Synthetic Differential Geometry
  
  
• Jürgen Koslowski (Technical Univ., Braunschweig, Germany)
  Comprehending structure types and stuff types
  
  
• Stephen Lack (University of Western Sydney, Australia)
  Lawvere 2-theories
  
  
• Tom Leinster (Univ. Glasgow, UK)
  Jónsson–Tarski toposes
  
  
• Michael Makkai (McGill Univ., Montreal, Canada)
  Computads and weak omega categories
  
  
• Oleksandr Manzyuk (Technische Univ. Kaiserslautern, Germany)
  Closed multicategory of A-infinity categories
  
  
• Simona Paoli (Macquarie Univ., Sydney, Australia)
  Semistrict Tamsamani n-groupoids and connected n-types
  
  
• Claudio Pisani (Torino, Italy)
  Category theory in a (E,M)-category
  
  
• Dorette Pronk (Dalhousie Univ., Halifax, Canada)
  Free constructions on double categories
  
  
• Pedro Resende (Instituto Superior Técnico, Lisboa, Portugal)
  Quantale-valued sets, quantale modules, and groupoid actions
  
  
• Jiří Rosický (Masaryk Univ., Brno, Czech Republic)
  Combinatorial model categories
  
  
• R. A. G. Seely (McGill Univ., Montreal, Canada)
  A term calculus for cartesian differential categories
  
  
• Walter Tholen (York Univ., Toronto, Canada)
  Topology for V-categories and (T,V)-categories
  
  
• Tim Van der Linden (Vrije Univ. Brussel, Belgium)
  The equivalence between Barr-Beck cotriple homology and the Brown-Ellis higher Hopf formulae
  
  
• Dominic Verity (Macquarie Univ., Sydney, Australia)
  Weak complicial sets and internal quasi-categories
  
  
• Robert Walters (Univ. degli Studi dell'Insubria, Como, Italy)
  Calculating limits and colimits compositionally
  
  
• Richard Wood (Dalhousie Univ., Halifax, Canada)
  Cartesian bicategories as symmetric monoidal bicategories
  
  
• Marek Zawadowski (Uniw. Warszawaski, Warsaw, Poland)
  Combinatorial description of many-to-one computads