Sixty sixth meeting of the Transpennine Topology Triangle

Department of Mathematics and Computer Science
University of Leicester
Monday 3rd November 2008


Coffee and tea will be available from 11.00 am.


Gambino: Homotopical Structures in Mathematical Logic
Abstract: The aim of the talk is to give an overview of the recently-discovered connections between abstract homotopy theory and mathematical logic. These connections concern Quillen's homotopical algebra on the one hand and Martin-Loef set theory on the other hand. I will begin by giving an introduction to Martin-Loef set theory, assuming no prior knowledge of mathematical logic. Then, I will explain how the category of sets associated to Martin-Loef set theory admits a non-trivial weak factorisation system and relate this weak factorisation system to the natural Quillen model structure on the category of groupoids (joint work with Richard Garner). Finally, I will explain how these results fit into a general program, aimed at extending the correspondence between mathematical logic and category theory to higher-dimensional categories.

Cranch: Span diagrams in homotopy theory
Abstract: This talk will report on my PhD thesis in preparation under Neil Strickland. I will supply some propaganda for the theory of quasicategories (due to Joyal and Lurie). Then I will show how Lawvere's notion of an algebraic theory carries across to this context. Lastly I will describe a new approach to homotopy commutativity equivalent to, and in some senses simpler than, the classical language of E_infinity operads.

Noohi : String topology for stacks
Abstract: String topology (Chas-Sullivan, Cohen, Jones,...) studies the homology of the loop space of a manifold by exploiting the so-called string operations. With the goal of producing an equivariant version of the theory, we formulate string topology for topological stacks and prove the existence of string operations under certain natural hypotheses. As a consequence, we obtain equivariant string topology for compact Lie group actions on manifolds. This is a joint work with K. Behrend, G. Ginot, and P. Xu. (Reference: arXiv:0712.3857v1 [math.AT])

Tea and Coffee will be available in F9 Mathematics Building from 11am. There will be opportunity for those interested to find a drink/meal after the last talk; arrangements made on the day The TTT is partially supported by an LMS scheme 3 grant. Anyone who wishes to participate is welcome: we shall operate the usual arrangements for assistance with travel expenses . For further information email John Greenlees, (or John Hunton or Nige Ray if you are interested, so we can make approximately the right amount of tea and coffee.

Escape routes

TTT Homepage