List of Contributed Talks

• Jiří Adámek (Technical Univ., Braunschweig, Germany)
  Iteration theories as monadic algebras
  
  
• Richard Blute (Univ. of Ottawa, Canada)
  Algebraic examples of differential categories
  
  
• Francis Borceux (Univ. de Louvain, Belgium)
  Prolocalisations of homological categories
  
  
• Marta Bunge (McGill Univ., Montreal, Canada)
  Branched coverings of quasi locally connected toposes
  
  
• Eugenia Cheng (Univ. de Nice, France)
  Comparing operadic theories of n-categories
  
  
• Robin Cockett (Univ. of Calgary, Alberta, Canada)
  Join restriction categories: the importance of being adhesive
  
  
• Jonathan Cohen (The Australian National Univ., Canberra, Australia)
  Coherence with and without unique normal forms
  
  
• Geoffrey Cruttwell (Dalhousie Univ., Halifax, Canada)
  Analysis and enriched Category Theory
  
  
• Alexei Davydov (Macquarie Univ., Sydney, Australia)
  Modular categories and (extended) topological field theories
  
  
• 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
  
  
• Tomas Everaert (Vrije Univ. Brussel, Belgium)
  Generalized higher Hopf formulae and a long Stallings-Stammbach exact sequence
  
  
• Thomas Fiore (Univ. of Chicago, USA)
  Model structures on the category of double categories
  
  
• Jonathon Funk (The Univ. of the West Indies, Bridgetown, Barbados)
  F-inverse semigroups and toposes
  
  
• Emmanuel Galatoulas (Univ. of Athens, Greece)
  Towards bicategorical Quantum Mechanics: the calculus of quantaloidal enrichment and its applicability to Quantum Mechanics
  
  
• Richard Garner (Uppsala Univ., Sweden)
  The theory of glueing things on
  
  
• Ramón González Rodríguez (Univ. de Vigo, Spain)
  Projections of weak Hopf algebras and weak Yang-Baxter operators
  
  
• Miles Gould (Univ. Glasgow, UK)
  The categorification of linear theories is presentation-independent
  
  
• Marco Grandis (Univ. di Genova, Italy)
  Cospans and weak cubical categories in Algebraic Topology
  
  
• Nick Gurski (Yale University, New Haven, USA)
  Stability for pseudomonoids
  
  
• Michel Hebert (The American Univ. in Cairo, Egypt)
  Orthogonality and injectivity logics for proper classes of morphisms
  
  
• Claudio Hermida (Queen's Univ., Kingston, Canada)
  Universality of coherence
  
  
• Luis Javier Hernández Paricio (Univ. de La Rioja, Logroño, Spain)
  Categorical groups for exterior spaces
  
  
• George Janelidze (Univ. of Cape Town, South Africa)
  Ideals in semi-abelian categories
  
  
• Tamar Janelidze (Univ. of Cape Town, South Africa)
  Relative semi-abelian categories
  
  
• Zurab Janelidze (Univ. of Cape Town, South Africa)
  Cover relations on categories
  
  
• Michael Johnson (Macquarie Univ., Sydney, Australia)
  Homotopy, naturality and homotopy naturality
  
  
• Peter Johnstone (Univ. of Cambridge, UK)
  Bill Lawvere: a search for cohesion
  
  
• Toby Kenney (Dalhousie Univ., Halifax, Canada)
  The connection between equivalence relations and subgroups
  
  
• Rudger Kieboom (Vrije Univ. Brussel, Belgium)
  Loops from the (semi-abelian) categorical point of view
  
  
• 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
  
  
• David Kruml (Masaryk Univ., Brno, Czech Republic)
  Girard structures on discrete quantales
  
  
• 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
  
  
• Francisco Marmolejo (Univ. Nacional Autonoma de Mexico, Mexico)
  Constructively completely distributive lattices in presheaf categories
  
  
• Nelson Martins Ferreira (Instituto Politécnico de Leiria, Portugal)
  The tricategory of internal bicategories in Ab
  
  
• Matias Menni (LIFIA - Universidad Nacional de La Plata, Argentina)
  Läuchli’s completeness theorem from a topos-theoretic perspective
  
  
• Thorsten Palm (Macquarie Univ., Sydney, Australia)
  A Geometry for diagrammatic computads
  
  
• Simona Paoli (Macquarie Univ., Sydney, Australia)
  Semistrict Tamsamani n-groupoids and connected n-types
  
  
• Robert Paré (Dalhousie Univ., Halifax, Canada)
  Kan extensions for double categories
  
  
• Claudio Pisani (Torino, Italy)
  Category theory in a (E,M)-category
  
  
• Radu Popescu (Instituto Superior Técnico, Lisboa, Portugal)
  Categorical aspects of K-theory for operator algebras
  
  
• Dorette Pronk (Dalhousie Univ., Halifax, Canada)
  Free constructions on double categories
  
  
• Misha Clarence Protin (Instituto Superior Técnico, Lisboa, Portugal)
  Groupoid quantales beyond étale groupoids
  
  
• Pedro Resende (Instituto Superior Técnico, Lisboa, Portugal)
  Quantale-valued sets, quantale modules, and groupoid actions
  
  
• 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
  
  
• Graham White (Queen Mary Univ. of London, UK)
  Bicategories and the philosophy of language
  
  
• Richard Wood (Dalhousie Univ., Halifax, Canada)
  Cartesian bicategories as symmetric monoidal bicategories
  
  
• João José Xarez (Univ. de Aveiro, Portugal)
  Kan extensions, models of sketches and the coequalizer of the kernel pair process
  
  
• Marek Zawadowski (Uniw. Warszawaski, Warsaw, Poland)
  Combinatorial description of many-to-one computads