**The Third
Morgan-Phoa Mathematics Workshop**

** **

**Dates:** Thursday 28 and
Friday 29 January 2010

**Venue: **Australian National
University, Canberra;

Room G35 of the John Dedman Building.

**Purpose:** CoACT (Macquarie University) and Amnon Neeman's group at
the CMA
(Australian National University) have many common research interests. The plan
for these Workshops is to investigate those connections, and to advance the
research areas, in an informal and flexible setting. Some of these common
interests include categorical homotopy theory, topos theory, triangulated
categories, K-theory, higher categories, homological algebra, cohomology, and
differential graded categories.

**Participants included:** Gabriella Bšhm, James
Borger, John Bourke, Dimitri Chikhladze, Jeff Egger, Richard Garner, Lars
Hesselholt, Mike Johnson, Stephen Lack, Micah McCurdy, Amnon Neeman, David
Oury, Emily Riehl, Greg Stevenson, Ross Street, Dominic Verity.

**Talks on Thursday:**

09:30 Emily Riehl *An
advertisement for natural factorisation systems in model structures*

10:20 Jeff Egger *How
is measure theory a subset of topology?*

11:00 *Morning
tea*

11:30 Richard Garner *An
introduction to Martin-Lšf type theory*

12:15 David Oury *Simplicial
sets and higher categories*

13:00 *Lunch
at the Dumpling Restaurant*

14:15 Lars Hesselholt *What
is a good proof that geometric realization preserves finite products?*

14:50 Micah
McCurdy *Graphical
languages for monoidal category theory*

15:30 *Afternoon
tea*

16:10 Gabi
Bšhm *(Weak)
Hopf algebras and (weak) Hopf monads*

16:45 Dominic
Verity *What
abstract homotopy theory do I need?*

19:15 *Dinner
outside at University House*

**Talks on Friday:**

09:38 Steve Lack *Homotopy
local presentability *(with Jiri
Rosicky)

10:20 Dimitri Chikhladze *BarrÕs
embedding theorem*

11:00 *Morning
tea*

11:37 John Bourke *(-)Õ*

12:14 Jim Borger *Abstract
thoughts on Toen-VaquiŽ*

13:00 *Lunch
on campus*

14:20 Greg Stevenson *Universal
support for triangulated categories*

15:00 Amnon
Neeman *Large
triangulated categories*

15:30 *Afternoon
tea*

16:10 Ross
Street *Might
there be yet another kind of operad?*

16:50 Mike
Johnson *Bridging
theory and application and theory and theory for relational bases*

17:35 *Close*

**Thanks to: **

Amnon Neeman, Alison
Irvine, Jim Borger, and Dominic Verity for** **organization;

Margaret Morgan and
Wesley Phoa;

Centre for
Mathematics and its Applications;

Centre of
Australian Category Theory;