# Lecture Rooms

All lecture rooms are equipped with a white or black board, a data-show and an overhead projector.

Plenary talks will be in the Education Department (building 5 in the Campus Map below), Room 5.2.22: Picture 1, Picture 2. We will also provide an additional white board (120cm x 250cm).

Parallel sessions will be in the Mathematics Department (building 11 in the Campus Map), Rooms 11.1.3 and 11.1.10: Picture.

Coffee breaks are to be held at "Bar de Matemática" located in the ground flour of the Mathematics Department.

Here you will find a map of the campus with the locations of Education and Maths Departments.

Here you will find a WALKING MAP of Aveiro.

# Schedule

##### Overview

# Sunday 14

Time | Programme |
---|---|

18:00 - 20:00 | Welcome Reception / Registration,
at the terrace of the Restaurant Olá Ria (Location: green spot in this map). |

# Monday 15

Time | Programme |
---|---|

08:30 - 09:00 | Registration |

09:00 - 09:30 | Opening |

09:30 - 10:30 | R. Garner: The Campbell-Baker-Hausdorff adjunction |

10:30 - 11:00 | R. Paré: Skolem relations and profunctors |

11:00 - 11:30 | Coffee Break |

11:30 - 12:00 | A. Joyal: Witt vectors and the James construction |

12:00 - 12:30 | J. Rosický: Classification theory for accessible categories |

12:30 - 13:00 | M. Fiore: Theory of para-toposes |

13:00 - 14:30 | Lunch |

14:30 - 15:00 | T. Leinster: The reflexive completion |

15:00 - 15:30 | M. Johnson: Symmetrizing categories of lenses |

15:30 - 16:00 | J. Adámek: Reflective subcategories of locally presentable categories |

16:00 - 16:30 | Coffee Break |

16:30 - 17:00 | Lucyshyn-Wright: A general theory of measure and distribution monads founded on the notion of commutant of a subtheory |

17:00 - 17:30 | G. Metere: Aspects of strong protomodularity, actions and quotients |

17:30 - 18:00 | A. Montoli: On the “Smith is Huq” condition in S-protomodular categories |

18:00 - 18:30 | M. Duckerts-Antoine: A classification theorem for normal extensions |

# Tuesday 16

Time | Programme | |
---|---|---|

09:00 - 10:00 | G. Böhm: Hopf monoids in duoidal categories | |

10:00 - 10:30 | R. Wood: Waves and total distributivity | |

10:30 - 11:00 | P. Johnstone: Functoriality of modified realizability | |

11:00 - 11:30 | Coffee Break | |

11:30 - 12:30 | B. Lawvere: Alexander Grothendieck and the modern conception of Space | |

12:30 - 13:00 | M. Menni: An 'algebraic' model of a bidirectional Euler continuum | |

13:00 - 14:30 | Lunch | |

14:30 - 15:00 | P. Leung: The free tangent structure | M. Dostál: Two-dimensional Birkhoff’s theorem |

15:00 - 15:30 | Z. Low: Generalising the functor of points approach | V. Even: Central extensions and closure operators in the category of quandles |

15:30 - 16:00 | F. Lucatelli: Kan extensions and descent theory | S. Moss: Another approach to the Kan-Quillen model structure |

16:00 - 16:30 | Coffee Break | |

16:30 - 17:00 | J.R. Montañez Puentes: Some topoi generated by topological spaces | K. van Opdenbosch: Regularity for relational algebras and the case of approach spaces |

17:00 - 17:30 | G. Lima: Site characterisations for local geometric morphisms | D. Pinto: An abstract approach to Glivenko’s theorem |

# Wednesday 17

Time | Programme |
---|---|

09:00 - 10:00 | D. Rodelo: A tour through n-permutability |

10:00 - 11:00 | H. Krause: Stratification of triangulated categories |

11:00 - 11:30 | Coffee Break |

11:30 - 12:00 | G. Janelidze: Exponentiable homomorphisms of algebras |

12:00 - 12:30 | R. Brown: A philosophy of modelling and computing homotopy types |

12:30 - 14:00 | Lunch |

14:00 | Excursion |

# Thursday 18

Time | Programme | |
---|---|---|

09:00 - 10:00 | C. Berger: Algebraic and homotopical nilpotency | |

10:00 - 10:30 | S. Lack: Multiplier bimonoids, multiplier bicomonads, and comonads in a simplicial set | |

10:30 - 11:00 | D. Bourn: Partial Mal’tsevness and category of quandles | |

11:00 - 11:30 | Coffee Break | |

11:30 - 12:00 | G. Rosolini: Exact completions as homotopical quotients | |

12:00 - 12:30 | L. Sousa: Categories of “lax fractions” | |

12:30 - 13:00 | M. Zawadowski: Fibrations of polynomial and analytic functors and monads | |

13:00 - 14:30 | Lunch | |

14:30 - 15:00 | N. Martins-Ferreira: Categories with 2-cell structures and their internal pseudocateg. | J. Obradovic: On the various definitions of cyclic operads |

15:00 - 15:30 | D. Christensen: A characterization of univalent fibrations | K. Emir: Pointed homotopy of 2-crossed module maps and groupoid structure |

15:30 - 16:00 | S. Solovjovs: On monoidal (co)nuclei and their applications | M. Prasma: The Grothendieck construction for model categories |

16:00 - 16:30 | Coffee Break | |

16:30 - 17:00 | N. Guallart: A comparison between ITT and CoC | R. Abud Alcalá: Comodules for coalgebroids |

17:00 - 17:30 | Y. Maruyama: Higher-order categorical substructural logics | D. Chikhladze: Another perspective on skew monoidal structures |

17:30 - 18:00 | S. Koudenburg: Yoneda embeddings in double categories | C. Sattler: Initial algebras for dependent from plain polynomial functors in quasicategories |

19:30 | Conference Dinner |

# Friday 19

Time | Programme |
---|---|

09:00 - 10:00 | J. Bergner: Models for homotopical higher categories |

10:00 - 10:30 | R. Cockett: Itegories |

10:30 - 11:00 | Z. Janelidze: On a symmetric proof of the non-abelian snake lemma |

11:00 - 11:30 | Coffee Break |

11:30 - 12:00 | E. Riehl: Virtual equipments for ∞-categories |

12:00 - 12:30 | D. Verity: The calculus of modules for ∞-categories |

12:30 - 13:00 | I. López-Franco: Aspects of lax orthogonal factorisation systems |

13:00 - 14:30 | Lunch |

14:30 - 15:00 | G. Cruttwell: The Jacobi identity for tangent categories |

15:00 - 15:30 | J. Bourke: Skew structures in 2-category theory and homotopy theory |

15:30 - 16:00 | R. González Rodríguez: Equivalences and iterations for weak crossed products |

16:00 - 16:30 | Coffee Break |

16:30 - 17:00 | N. Gurski: Distributive laws for quasicategories |

17:00 - 17:30 | P. North: Weak factorization systems for intensional type theory |

17:30 - 18:00 | T. Avery: Codensity and the Giry monad |

18:00 - 18:30 | M. Weber: Internal algebra classifiers as codescent objects of crossed internal categories |