9.00-10.00
|
Dominique Bourn, New aspects of the Schreier-Mac Lane's extension theorem
|
10.00-10.30
|
Alexei Davydov, Modular categories and (extended) topological field
theories
|
10.30-11.00
|
Michael Johnson, Homotopy, naturality and homotopy naturality
|
11.00-11.30
|
Coffee Break
|
11.30-12.00
|
Marek Zawadowski, Combinatorial description of many-to-one computads
|
Geoffrey Cruttwell, Analysis and enriched Category Theory
|
12.00-12.30
|
Thorsten Palm, A Geometry for diagrammatic computads
|
Radu Popescu, Categorical aspects of K-theory for operator algebras
|
12.30-13.00
|
Nelson Martins Ferreira, The tricategory of internal bicategories in Ab
|
E. Galatoulas, Towards bicategorical Quantum Mechanics:
the calculus of quantaloidal enrichment and its applicability to Quantum Mechanics
|
13.00-14.30
|
Lunch
|
14.30-15.00
|
Misha Clarence Protin, Groupoid quantales beyond étale groupoids
|
Tamar Janelidze, Relative semi-abelian categories
|
15.00-15.30
|
Nick Gurski, Stability for pseudomonoids
|
Joăo Xarez, Kan extensions, models of sketches and the coequalizer of
the kernel pair process
|
15.30-16.00
|
Ramón González Rodríguez, Projections of weak Hopf algebras and weak Yang-Baxter operators
|
Zurab Janelidze, Cover relations on categories
|
16.00-16.30
|
Coffee Break
|
16.30-17.00
|
Jonathan Cohen, Coherence with and without unique normal forms
|
17.00-17.30
|
Simona Paoli, Semistrict Tamsamani n-groupoids and connected n-types
|
Miles Gould, The categorification of linear theories is presentation-independent
|
|
|