07/12/2005
Marcelo Fiore (Cambridge University)
Free groupoids: Some theory and applications

The talk is about connections amongst

• groupoid theory (free groupoids, R.Thompson's groups, Guba and Sapir's diagram groups, homotopy groups);
• rewriting theory (canonical term-rewriting systems, Squier complexes);
• higher-dimensional algebra (groupoid-enriched categories, Burroni's polygraphs, CW complexes); and
• geometry (geometry groups, geometric realisation)

• type theory (type isomorphism);
• algorithmics (tree rotation);
• category theory (simply connected limits, coherence); and
• proof theory (proof structure).