 Ramón Abud Alcalá  Comodules for coalgebroids 
Slides 
 Jiří Adámek  Reflective subcategories of locally presentable categories  
 Tom Avery  Codensity and the Giry monad 
Slides 
 John Bourke  Skew structures in 2category theory and homotopy theory  Slides 
5  Dominique Bourn  Partial Mal’tsevness and category of quandles  Slides 
 Ronald Brown  A philosophy of modelling and computing homotopy types  Slides 
 Dimitri Chikhladze  Another perspective on skew monoidal structures  Slides 
 Robin Cockett  Itegories 
Slides 
 Geoff Cruttwell  The Jacobi identity for tangent categories  Slides 
10  Matěj Dostál  Twodimensional Birkhoff’s theorem 

 M. DuckertsAntoine  A classification theorem for normal extensions  Slides 
 Kadir Emir  Pointed homotopy of 2crossed module maps and groupoid structure  Slides 
 Valérian Even  Central extensions and closure operators in the category of quandles  Slides 
 Marcelo Fiore  Theory of paratoposes 

15  R. González Rodríguez  Equivalences and iterations for weak crossed products  Slides 
 Nino Guallart  A comparison between ITT and CoC 
Slides 
 Nick Gurski  Distributive laws for quasicategories 

 George Janelidze  Exponentiable homomorphisms of algebras  
 Zurab Janelidze  On a symmetric proof of the nonabelian snake lemma  
20  Michael Johnson  Symmetrizing categories of lenses  
 Peter Johnstone  Functoriality of modified realizability  
 André Joyal  Witt vectors and the James construction 

 Seerp R. Koudenburg  Yoneda embeddings in double categories  Slides 
 Steve Lack  Multiplier bimonoids, multiplier bicomonads, and comonads in a simplicial set  
25  Tom Leinster  The reflexive completion 
Slides 
 Poon Leung  The free tangent structure 
Slides 
 Guilherme F. Lima  Site characterisations for local geometric morphisms  Slides 
 Ignacio López Franco  Aspects of lax orthogonal factorisation systems  
 Zhen Lin Low  Generalising the functor of points approach  Slides 
30  Fernando Lucatelli  Kan extensions and descent theory  Slides 
 Rory LucyshynWright  A general theory of measure and distribution monads
founded on the notion of commutant of a subtheory  
 Nelson MartinsFerreira  Categories with 2cell structures and their internal pseudocategories  
 Yoshihiro Maruyama  Higherorder categorical substructural logics  Slides 
 Matías Menni  An 'algebraic' model of a bidirectional Euler continuum  Slides 
35  Giuseppe Metere  Aspects of strong protomodularity, actions and quotients  Slides 
 J.R. Montañez Puentes  Some topoi generated by topological spaces  Slides 
 Andrea Montoli  On the “Smith is Huq” condition in Sprotomodular categories  Slides 
 Sean Moss  Another approach to the KanQuillen model structure  Slides 
 Paige North  Weak factorization systems for intensional type theory  
40  Jovana Obradovic  On the various definitions of cyclic operads  Slides 
 Robert Paré  Skolem relations and profunctors 
Slides 
 Eduardo ParejaTobes  Dagger category theory 

 Darllan C. Pinto  An abstract approach to Glivenko’s theorem  Slides 
 Matan Prasma  The Grothendieck construction for model categories  Slides 
45  Emily Riehl  Virtual equipments for ∞categories 

 Jiří Rosický  Classification theory for accessible categories  Slides 
 Giuseppe Rosolini  Exact completions as homotopical quotients  Slides 
 Christian Sattler  Initial algebras for dependent from plain polynomial functors in quasicategories  
 Paul Slevin  Cyclic homology arising from adjunctions  
50  Sergejs Solovjovs  On monoidal (co)nuclei and their applications  Slides 
 Lurdes Sousa  Categories of “lax fractions” 
Slides 
 Karen Van Opdenbosch  Regularity for relational algebras and the case of approach spaces  Slides 
 Dominic Verity  The calculus of modules for ∞categories  
 Mark Weber  Internal algebra classifiers as codescent objects of crossed internal categories  
55  David White  Bousfield localization and algebras over colored operads  
 Richard Wood  Waves and total distributivity 
Slides 
 Marek Zawadowski  Fibrations of polynomial and analytic functors and monads  Slides 
 Dan Christensen  A characterization of univalent fibrations  Slides 