| 9.00-10.00
|
C. Butz, Bernays-Gödel type theory
|
|
10.00-11.00
|
M. Batanin, Operads in higher dimensional category theory
|
|
11.00-11.30
|
Coffee Break
|
|
11.30-12.00
|
R. Street, Plane trees and higher categories
|
|
12.00-12.30
|
R. Wood, Completely distributive lattices
|
|
12.30-13.00
|
E. Dubuc, Some points on Grothendieck's interpretation of Galois Theory
|
|
13.00-14.30
|
Lunch Break
|
|
14.30-15.00
|
J. MacDonald, Parameters and fibrations
|
A. Pultr, Approximative spaces
|
|
15.00-15.30
|
E.G. Minian, Lambda-Cofibration categories
|
P.P. Matutu, Stably continuous sigma frames
|
|
15.30-16.00
|
M. Menni, A characterization of the left exact categories whose exact completion is a topos
|
R. Rother, Some remarks on topological functors
|
|
16.00-16.30
|
T. Leinster, Generalized enrichment of categories
|
G. Richter, Remarks on exponentiable morphisms in Top
|
|
16.30-17.00
|
Coffee Break
|
|
17.00-17.30
|
L. Schröder, Preimages of classes of epimorphisms
|
F. Marmolejo, Distributive laws for pseudomonads
|
|
17.30-18.00
|
F. Markopoulou, Quantum causal histories: What the universe looks like from the inside
|
|
|
|
|
19.30-23.00
|
Conference dinner
|