CT 2006

Bill Lawvere: "The mathematical lives of Sammy and Saunders" | ||

Walter Tholen: "Mac Lane and Factorizations" | ||

Peter Freyd: "New structures on old categories" | ||

Robert Paré: "Spans for 2-categories" | ||

Thomas M. Fiore: "Double Categories and Pseudo Algebras" | ||

John Iskra: "Smoothness in Zariski Categories" | ||

Christine Vespa: "The functor category F_quad associated to quadratic spaces over F_2" | ||

Paul Taylor: "On the Reaxiomatisation of General Topology" | ||

Isar Stubbe: "Q-modules are Q-suplattices" | ||

Michael J. Healy: "Applying Category Theory to Improve the Performance of a Neural Architecture" (with Richard D. Olinger, Robert J. Young, Thomas P. Caudell, K. Larson) | ||

Claudio Pisani: "On the reflection and the coreflection of categories over a base in discrete fibrations" | ||

Noson S. Yanofski: "Towards a Definition of an Algorithm" |

Kathryn Hess: "Co-rings over operads" | ||

Jiri Rosický: "Homotopy varieties" | ||

Marco Grandis: "Fundamental lax 2-categories in Directed Algebraic Topology" | ||

Ronnie Brown: "Some applications of crossed complexes" | ||

Susan Niefield: "Exponentiability in Homotopy Slices of Top" | ||

Thorsten Palm: "Categories with slicing" | ||

Richard Steiner: "Omega-categories and chain homotopies" | ||

Mike Johnson: "Constant complements, reversibility and universal view updates" (with Robert Rosebrugh) | ||

Michel Hébert: "A Completeness Theorem for Injectivity Logic" (with J. Adámek and L. Sousa) | ||

Elango Panchadcharam: "Mackey functors and Green functors" | ||

Lurdes Sousa: "A complete orthogonality logic" (with J. Adámek and M. Hébert) | ||

Jeffrey Morton: "Higher Dimensional Algebra and Quantum Mechanics" | ||

João J. Xarez: "Galois theories of internal groupoids via congruence relations for Maltsev varieties" |

Steve Lack: "A convenient 2-category of bicategories" | ||

Myles Tierney: "Quasi-categories can model homotopy theories" (with André Joyal) | ||

Dominique Bourn: "Homological properties of the categories of Hausdorff groups and Hausdorff semi-abelian algebras" | ||

Marino Gran: "Torsion theories and Galois coverings of topological groups" (with Valentina Rossi) |

Wednesday afternoon: Excursions

Tom Leinster: "The Euler characteristic of a category" | ||

Michael Makkai: "Higher dimensional diagrams via computads" | ||

Dorette Pronk: "Paths in Double Categories" | ||

Dirk Hofmann: "Lax-algebraic theories and closed objects" | ||

Eugenia Cheng: "Towards an n-category of cobordisms" (with Nick Gurski) | ||

Nick Gurski: "Algebraifying tricategories" | ||

Simona Paoli: "Semistrict models of connected 3-types and Tamsamani's weak 3-groupoids" | ||

Mark Weber: "2-toposes and higher dimensional algebra" | ||

Diana Rodelo: "Cohomology without projectives" | ||

Hugh Millington: "A New Ontology for Category Theory" | ||

Matt Noonan: "Differential Geometry on Categories" | ||

Jeff Egger: "The Frobenius relations meet linear distributivity" | ||

Toby Kenney: "Injective Power Objects and the Axiom Of Choice" | ||

Derek Wise: "Chain field theory" |

Peter Selinger: "Categorical models of quantum computation" | ||

Pieter Hofstra: "The category of realizability toposes" | ||

Richard Wood: "Cartesian Bicategories II" (with A. Carboni, G.M. Kelly, R.F.C. Walters) | ||

Jiri Adámek: "Iterative Algebras and Iterative Monads" | ||

Stefan Milius: "Recursive coalgebras" | ||

Richard Blute: "Deep Inference and Probabilistic Coherence Spaces" (with Prakash Panangaden and Sergey Slavnov) | ||

Jürgen Koslowski: "Simulations as a genuinely categorical concept" | ||

Robert Seely: "Differential Categories II" (with Richard Blute, Robin Cockett) | ||

Luigi Santocanale: "Properties of Free Sigma-Pi-Categories" (with Robin Cockett) | ||

Josep Elgueta: "2-categories of representations of a 2-group" | ||

Juan Martínez-Moreno: "The actor of a categorical crossed module" (with M.A. García-Muñoz) | ||

Robert E. Kent: "The information flow framework: New architecture" | ||

Stefan Forcey: "Categorification of associahedra" | ||

Michael Winter: "Arrow Categories" |

Steve Schanuel: "Objective number theory: the finite case" | ||

Enrico Vitale: "Derivations of internal groupoids" (with S. Kasangian, S. Mantovani, G. Metere) | ||

Gábor Lukács: "Non-commutative k-spaces" (with Rachid El Harti) | ||

Bill Lawvere: "Axiomatic theory of cohesive spaces" |

Last updated: June 24, 2006