­

Programme

OVERVIEW (click to zoom)


All plenary sessions will be in Anfiteatro I, at level 0 of Faculdade de Ciências e Tecnologia (building 3 (2A) in the campus map).

Parallel sessions on Tuesday, Wednesday and Friday will be in Anfiteatro I and Anfiteatro V.



Sunday 8

18:00-20:00 WELCOME COCKTAIL
 
Registration		 Regresso à Conversa
Rua António Joaquim Nunes da Silva, 42


Monday 9

08:30-09:00 REGISTRATION Anfiteatro I
09:00-09:30 OPENING (Faculdade de Ciências e Tecnologia)
09:30-10:30 Anders Kock A synthetic account of Huygens' principle of wave fronts  (slides)
10:30-11:00 COFFEE BREAK
11:00-11:30 Chris Heunen Tensor topology  (slides)
11:30-12:00 Dorette Pronk On the notion of suborbifold  (slides)
12:00-12:30 Geoff Cruttwell Affine objects in a tangent category  (slides)
12:30-14:00 LUNCH
14:00-14:30 Richard Garner The locally connected classifying topos
14:30-15:00 David Spivak Temporal Type Theory: A topos-theoretic approach to systems and behavior  (slides)
15:00-15:30 Matías Menni Zero, and some other 'infinitesimal' levels of a cohesive topos  (slides)
15:30-16:00 COFFEE BREAK
16:00-16:30 Fernando Lucatelli Aspects of descent via bilimits  (slides)
16:30-17:00 John Bourke Monads and theories  (slides)
17:00-17:30 Ross Street Extension creation under base change  (slides)
| Top of the page |


Tuesday 10

09:00-10:00 Lurdes Sousa
 		 Kan-injectivity and KZ-monads  (slides)
10:00-10:30 Jiří Adámek Free completions of categories
10:30-11:00 COFFEE BREAK
11:00-11:30 Clemens Berger Comprehensive factorisation and non-commutative Stone duality  (slides)
11:30-12:00 Dirk Hofmann Limits in categories of Vietoris coalgebras  (slides)
12:00-12:30 Walter Tholen Remarks on weighted categories and the non-symmetric Pompeiu-Hausdorff-Gromov metric
12:30-14:00 LUNCH
14:00-14:30

  (parallel)		 Paige North Directed type theory and weak factorization systems  (slides)
Seerp Koudenburg Hypervirtual double categories
14:30-15:00

  (parallel)		 Paolo Perrone On the operational meaning of the bar construction, with an application to probability  (slides)
Ülo Reimaa Bicategories with lax units and Morita theory  (slides)
15:00-15:30

  (parallel)		 Andrew Swan Algebraic structure from non algebraic proofs  (slides)
Brendan Fong Hypergraph categories as cospan algebras  (slides)
15:30-16:00 COFFEE BREAK
16:00-16:30

  (parallel)		 Robin Cockett Mix unitary categories  (slides)
Christina Vasilakopoulou Monoidal Grothendieck construction  (slides)
16:30-17:00

  (parallel)		 Michael Johnson Characterising cospans of generalised fibrations
Philip Saville Skew monoidal structure in categories of algebras  (slides)
17:00-17:30

  (parallel)		 Michał R. Przybyłek Effective computations in predicative mathematics  (slides)
Ivan Di Liberti An axiomatic approach to Gabriel-Ulmer duality  (slides)
| Top of the page |


Wednesday 11

09:00-10:00 James Gray
 		 Algebraic exponentiation and abstract categories of interest  (slides)
10:00-10:30 Tim Van der Linden On split extensions of bialgebras  (slides)
10:30-11:00 COFFEE BREAK
11:00-11:30 Diana Rodelo Observations on the shifting lemma  (slides)
11:30-12:00 Dominique Bourn Extremal and regular epimorphisms in the category EquE of equivalence relations in a finitely complete category E  (slides)
12:00-12:30 George Janelidze A note on equivalent definitions of Carboni modularity
12:30-14:00 LUNCH
14:00-14:30

  (parallel)		 Johan García Vargas Galois theory, a logical path from Grothendieck's version to the fundamental theorem  (slides)
Simon Henry A proof of the Simpson conjecture for regular compositions  (slides)
14:30-15:00

  (parallel)		 Andrea Montoli On the categorical behaviour of ordered groups
Jovana Obradović Categorified cyclic operads in nature  (slides)
15:00-15:30

  (parallel)		 Margarida Raposo Conjugation semigroups and conjugation monoids with cancellation  (slides)
Alex Cebrian A simplicial groupoid for plethysm  (slides)
15:30-16:00 COFFEE BREAK
16:00-16:30

  (parallel)		 Arnaud Duvieusart Higher commutator conditions for central extensions in Mal'tsev categories  (slides)
Michael Ching Day convolution, stable ∞-operads and Goodwillie calculus  (slides)
16:30-17:00

  (parallel)		 Cyrille Sandry Simeu A new characterisation of higher central extensions in semi-abelian categories  (slides)
Laura Scull Equivariant fundamental groupoids as categorical constructions  (slides)
17:00-17:30

  (parallel)		 Nelson Martins-Ferreira Towards a unification of Mal'tsev like categories  (slides)
Amit Sharma Symmetric monoidal categories and Γ-categories  
| Top of the page |


Thursday 12

09:00-10:00 James Borger Generalized symmetries and arithmetic applications  (slides)
10:00-10:30 Jiří Rosický Forking in accessible categories  (slides)
10:30-11:00 COFFEE BREAK
11:00-11:30 Eugenia Cheng Weak functors for degenerate Trimble 3-categories  (slides)
11:30-12:00 Richard Blute Finiteness spaces and generalized power series  (slides)
12:00-12:30 Xabier García Martinez A categorical characterisation of Lie algebras  (slides)
12:30-14:00 LUNCH
14:00 EXCURSION
| Top of the page |


Friday 13

09:00-10:00 Ignacio López Franco
 		 Hopf algebras and generalisations
10:00-10:30 Stephen Lack Braided skew monoidal categories  (slides)
10:30-11:00 COFFEE BREAK
11:00-11:30 Stefaan Caenepeel Hopf categories  (slides)
11:30-12:00 Robert Paré A double category take on restriction categories  (slides)
12:00-12:30 Eduardo Dubuc Quillen's model categories revisited  (slides)
12:30-14:00 LUNCH
14:00-14:30

  (parallel)		 Ana Agore Equivalences of Hopf (co)module algebra structures  (slides)
Willian Ribeiro Weak cartesian closedness of (T,V)-Cat and equilogical (T,V)-categories
14:30-15:00

  (parallel)		 Darien DeWolf Groupoids associated to join inverse categories  (slides)
Fabio Pasquali A categorical explanation of why Church's thesis holds in the effective topos  (slides)
15:00-15:30

  (parallel)		 Ramón González Rodríguez Projections for Hopf quasigroups  (slides)
Michael Lambert Diaconescu's theorem for 2-toposes of stacks  (slides)
15:30-16:00 COFFEE BREAK
16:00-16:30

  (parallel)		 Martin Szyld The homotopy relation in a category with weak equivalences  (slides)
16:30-17:00

  (parallel)		 María Emilia Descotte Model bicategories and their homotopy bicategories  (slides)
Sara Sepahani Stone representation theorem for Boolean algebras in the topos of (pre)sheaves on a monoid  (slides)
19:30 CONFERENCE DINNER Hotel Marina Atlântico
| Top of the page |


Saturday 14

09:00-10:00 Tom Leinster
 		 Magnitude  (slides)
10:00-10:30 Alexander Campbell A homotopy coherent cellular nerve for bicategories
10:30-11:00 COFFEE BREAK
11:00-11:30 Alan S. Cigoli Two factorizations of opfibrations between fibrations over a fixed base  (slides)
11:30-12:00 Joachim Kock Infinity-operads as polynomial monads
12:00-12:30 Emily Riehl A proof of the model-independence of (∞,1)-category theory  (slides)
| Top of the page |