9.00-10.00
|
S. Schanuel, Objective number theory
|
10.00-11.00
|
J. Funk, Branched covers in topos theory
|
11.00-11.30
|
Coffee Break
|
11.30-12.00
|
R. Cockett, On double glueing
|
12.00-12.30
|
J. Baez, n-Categorical Physics
|
12.30-13.00
|
D. Scott, A modal logic for computability
|
13.00-14.30
|
Lunch Break
|
14.30-15.00
|
R. Brown, Aspects of rewriting
|
G. Schlesinger, Categorical duals of nonabelian lattice gauge theories
|
15.00-15.30
|
T. Datuashvili, Kan extensions of internal functors. Algebraic approach
|
R. Picken, Categorical constructions related to TQFT
|
15.30-16.00
|
R. Rosebrugh, Span (graph) and minimal realization
|
H. Miyoshi, Weak omega-categories as omega-hypergraphs
|
16.00-16.30
|
M.C. Pinto, Duality between homomorphisms and state mappings of concrete dynamic algebras
|
M. Mackaay, Finite groups, spherical 2-categories, and 4-manifold invariants
|
16.30-17.00
|
Coffee Break
|
17.00-17.30
|
M. Grandis, On the homotopy and homology of simplicial complexes
|
D. Holgate, On the non-compactness of realcompact spaces
|
17.30-18.00
|
R. Kieboom, On bigroupoids in 2-dimensional homotopical algebra
|
G. Castellini, Connectedness with respect to a closure operator, Part III
|
18.00-18.30
|
J. Miranda, Internal categorical (co)groups in topological spaces
|
C. Pisani, Convergence in exponentiable spaces
|
18.30-19.00
|
J. Remédios, Generalized homotopy groups in categories with a natural cylinder
|
T. Plewe, Iterated dissolution locales
|