Home |  | Programme |  | Registration |  | Accommodation |  | Travel information |  | Useful information |  | Contacts
Programme Slides Schedule Lecture Rooms Invited talks Contributed talks Participants Deadlines Registration Accommodation Abstract submission |  |
Contributed talks in all aspects of Category Theory are welcome and we especially encourage submission of work on applications, as well as on foundations. The scientific programme consists of 50mn invited talks and 25mn contributed talks. # Lecture Rooms The plenary talks will be in Room Geog100, as will the talks listed in the first column of each parallel session. The remaining talks will be in Math100. # Invited talks Marcelo Aguiar Species on hyperplane arrangements (Slides) Richard Garner Lex colimits André Joyal A new approach to the bar-cobar duality F. William Lawvere Categorical Dynamics Sandra Mantovani Butterflies, profunctors and fractions (Slides) Robert Paré Yoneda Theory for Double Categories (Slides) # Plenary contributed talks Michael Barr Countable meets of opens in coherent spaces (Slides) Terrence Bisson Some homotopy methods in the category of graphs (Slides) Richard Blute Von Neumann Categories (Slides) Eugenia Cheng Distributive laws for Lawvere theories (Slides) Maria Manuel Clementino Fibrewise injectivity and Kock-Zöberlein monads Robin Cockett Differential categories to tangential structure (Slides) Andreas Döring Towards Noncommutative Gel'fand Duality (Slides) Dirk Hofmann On the Isbell conjugation adjunction for monad-quantale-enriched categories (Slides) Peter Johnstone What is a Gros Topos? Jürgen Koslowski Relating Chomsky Normal Form and Greibach Normal Form by exponential transposition: towards the categorification of the theory of context-free languages (Slides) Steve Lack Grothendieck quasitoposes Tom Leinster Notions of Möbius inversion (Slides) Fred Linton For want of awareness of the Yoneda Lemma, ... (Slides) Ignacio Lopez Franco Pseudo-commutativity of lax idempotent 2-monads (Slides) Rory Lucyshyn-Wright Algebraic theory of vector-valued integration Peter LeFanu Lumsdaine Classifying ω-categories of dependent type theories (Slides) John MacDonald Two-dimensional adjunctions and distributive laws Micah McCurdy Graphically Factoring the Tannaka Construction (Slides) Francisco Marmolejo (Co-)lax idempotent pseudomonads and Kan pseudomonads (Slides) Matias Menni Bimonadic adjunctions and the Explicit Basis property (Slides) Susan Niefield Exponentiability via double categories David Oury A model structure whose fibrant objects are quasi-2-categories (Slides) Jorge Picado On (binary) localic products and localic groups (Slides) Vaughan Pratt Structure from sorts, properties, and composition: a minimalist approach to topoalgebraic structure (Slides) Emily Riehl Cellularity, composition, and morphisms of algebraic weak factorization systems (Slides) Diana Rodelo Higher central extensions and cohomology (Slides) Giuseppe Rosolini Quotients in hyperdoctrines (Slides) Gavin Seal Exponential objects as Eilenberg-Moore algebras Michael Shulman Exact completion and small sheaves (Slides) Walter Tholen Topology in Categories of (T,V)-Categories (Slides) Miles Tierney Classifying fiber bundles with fiber K(pi,n) (Slides) Mark Weber 2-bicategories of polynomials (Slides) # Parallel contributed talks Tom Booker Commutative algebras in Fibonacci categories (Slides) Kuerak Chung Generators and relations in generalized Lawvere theories Zinovy Diskin The Multi-dimensional World of Model-Driven Engineering: From MDE to CT and Back Again (Slides) Jeff Egger On unitary representations of certain quantum groups Jonathan Gallagher Dierential Turing categories (Slides) Toby Kenney The Generalised Span Construction on Bicategories (Slides) Hoil Kim The Category of generalized complex structures(Lie Algebroids) Ryszard Kostecki Categories of quantum theoretic models (Slides) Dany Majard N-tuple categories and their degeneracies (Slides) Nicolas Michel Categorical foundations for K-theory (Slides) David Sallach A Complex Categorical Decision Application (Slides) Daniel Schäppi Generalized Tannaka Duality (Slides) Laura Scull Twisted equivariant cohomology and orbifolds (Slides) Serdar Sozubek A Topological Theory of (T,V)-Categories (Slides) Art Stone Consequences of Lax Naturality Joao Xarez Generalising connected components # Abstract submission In addition to invited one-hour talks there will be 30 minute contributed talks (25 min talk duration / 5 min questions resp. break). Please prepare your abstract (no longer than half a page) with the following LaTex Code: ct2011.tex Name your file in the format lastname_f.tex where "lastname" is the author's last name and "f" is the first letter of the author's first name. Please create the corresponding .pdf file lastname_f.pdf and send both files to Stephen Lack (steve.lack@mq.edu.au) with subject "CT2011 Abstract". Deadline for abstract submission: June 01, 2011.
HOME | CONTACTS
. Last update: August 30, 2011 .