|
9.00-10.00
|
Marino Gran, On Galois structures in algebraic categories
|
|
10.00-10.30
|
Francis Borceux, Prolocalisations of homological categories
|
|
10.30-11.00
|
George Janelidze, Ideals in semi-abelian categories
|
|
11.00-11.30
|
Coffee Break
|
|
11.30-12.00
|
Dorette Pronk, Free constructions on double categories
|
Toby Kenney, The connection between equivalence relations and
subgroups
|
|
12.00-12.30
|
Thomas Fiore, Model structures on the category of double categories
|
David Kruml, Girard structures on discrete quantales
|
|
12.30-13.00
|
Luis J. Hernández, Categorical groups for exterior spaces
|
Jeff Egger, *-Autonomous functor categories
|
|
13.00-14.30
|
Lunch
|
|
14.30-15.00
|
Robin Cockett, Join restriction categories: the importance of being adhesive
|
|
15.00-15.30
|
Tomas Everaert, Generalized higher Hopf formulae and a long
Stallings-Stammbach exact sequence
|
Claudio Hermida, Universality of coherence
|
|
15.30-16.00
|
Graham White, Bicategories and the philosophy of language
|
Jürgen Koslowski, Comprehending structure types and stuff types
|
|
16.00-16.30
|
Coffee Break
|
|
16.30-17.00
|
Luis Español, Extended real number object in the bornological topos
|
Richard Blute, Algebraic examples of differential categories
|
|
17.00-17.30
|
R. A. G. Seely, A term calculus for cartesian differential categories
|
|
|
