|
9.00-9.30
|
Registration
|
|
9.30-10.00
|
Opening Session
|
|
10.00-11.00
|
S. Mac Lane, Eilenberg and Categories
|
|
11.00-11.30
|
Coffee Break
|
|
11.30-12.30
|
S. Awodey, Some logical properties of local maps of toposes
|
|
12.30-13.00
|
J. Adámek, On an algebraic duality and sifted colimits
|
|
13.00-14.30
|
Lunch Break
|
|
14.30-15.00
|
P. Ageron, Limits and pointwise colimits in accessible categories
|
E. Schläpfer, Chu-spaces and representations
|
|
15.00-15.30
|
L. Sousa, Generators, product completions and total cocompleteness
|
R. Seely, Introduction to linear bicategories
|
|
15.30-16.00
|
J. Velebil, A remark on conservative cocompletions of categories
|
H. Mori, Chu spaces and their Galois connections
|
|
16.00-16.30
|
S. Lack, On the monadicity of categories with chosen colimits
|
J. Koslowski, The Chu construction in the context of linear bicategories
|
|
16.30-17.00
|
Coffee Break
|
|
17.00-17.30
|
S. Crans, Higher-dimensional Mac Lane's pentagon and Zamolodchikov equations
|
A. Labella, Categories with sums and right distributive tensor product
|
|
17.30-18.00
|
R. Betti, Descent theory for span enriched categories
|
L. Birkedal, A modal logic for localic local maps of toposes
|
|
18.00-18.30
|
I. Le Creurer, Beck Theorem for pseudo-adjunctions
|
P. Ruet, Categorical semantics of non-commutative logic
|
|
18.30-19.00
|
C. Auderset, Monads of measures
|
L. Santocanale,
Free mu-lattices
|
| |
|
|
22.00-23.15 |
Music concert |