Tuesday 18
9.00-9.50 Peter Freyd
Advanced Calculus
10.00-10.25 Robbie Gates
A Synthesis of Extensivity and Distributivity
10.30-11.00 coffee break
11.00-11.25 Richard Wood, Robert Rosebrugh
Distributive laws and factorization systems
11.30-11.55 Walter Tholen
Injectives, exponentials, and model categories
12.00-12.25 Yves Diers
Classification of concrete geometrical categories
12.30-12.55
Poster session

 
13.00-14.30 lunch break
15.00-15.50 Zóltan Ésik
Equational Properties of Initial Fixed Points
16.00-16.25 Jirí Adamek
On final coalgebras of continuous functors
16.30-17.00 coffee break
17.00-17.25 Anne Heyworth
Grobner basis techniques for computing actions of K-categories
17.30-17.55 Richard Squire
Orbits in a topos
18.00-18.30 Robin Cockett
Restriction categories, partial maps, and datatypes