Slides of talks
- Evangelia Aleiferi,
Towards a characterization of the double category of spans - Marzieh Bayeh,
Orbit class and its application - Murray Bremner,
Commutativity in double interchange semigroups - Alexander Campbell,
Enriched algebraic weak factorisation systems - Daniel Cicala,
Modeling graphical calculi with symmetric monoidal compact closed bicategories - Alan S. Cigoli,
A relative monotone-light factorization system for internal groupoids - Geoffrey Cruttwell,
Differential equations in tangent categories - María Emilia Descotte,
On flat 2-functors - Darien DeWolf,
An element-based reformulation of restriction monads - Jacopo Emmenegger,
On the local cartesian closure of exact completions - Timmy Fieremans,
Frobenius and Hopf V-categories - Jonas Frey,
Modelling homotopy type theory in cartesian cubical sets - Giulia Frosoni,
Properties of ΣΣ(-)-algebras in Equ - Jonathan Gallagher,
Coherently closed tangent categories and the link between SDG and the differential λ-calculus - Xabier García-Martínez,
A characterisation of Lie algebras amongst alternating algebras - Partha Pratim Ghosh,
Internal neighbourhood spaces - Julia Goedecke,
Hopf formulae for Tor - Marino Gran,
A characterization of central extensions in the variety of quandles - Dirk Hofmann,
Duality theory, convergence, and enriched categories - Pierre-Alain Jacqmin,
An embedding theorem for regular Mal'tsev categories - Piotr Jedrzejewicz,
Towards a categorification of integers - Michael Lambert,
Generalized principal bundles - Jean-Simon Lemay,
Integration in tangent categories - Guilherme Frederico Lima,
Duality theorems for essential inclusions of Grothendieck toposes - Ben MacAdam,
Vector bundles and dependent linear logic in differential geometry - Francisco Marmolejo,
The canonical intensive quality of a pre-cohesive topos - Matias Menni,
On a problem in Objective Number Theory - David Jaz Myers,
String diagrams for (virtual) proarrow equipments - Susan Niefield,
Topological groupoids and exponentiability - Robert Paré,
Hypercategories - Fabio Pasquali,
Quasi-toposes as elementary quotient completions - Dorette Pronk,
The orbifold construction for join restriction categories - Juan Pablo Quijano,
Functoriality and topos representations for quantales of coverable groupoids - Emily Riehl,
A synthetic theory of ∞-categories in homotopy type theory - Francisco Ríos,
A categorical model for a quantum circuit description language - Diana Rodelo,
Stability properties for n-permutable categories - Robert Rosebrugh,
Symmetric lenses and universality - Laura Scull,
Fundamental groupoids for orbifolds - Martin Szyld,
A general limit lifting theorem for 2-dimensional monad theory - Tim Van der Linden,
Categorical-algebraic methods in group cohomology - Christina Vasilakopoulou,
Hopf categories as Hopf monads in enriched matrices - Jun Yoshida,
Graphical calculus in symmetric monoidal (∞-)categories with duals
Kan Extension Seminar
- Liang Ze Wong,
Distributive laws, strings attached - Simon Cho,
On "On the operads of J.P. May" of G.M. Kelly - David Jaz Myers,
Weighted (Co)Limits - Pierre Cagne,
When computational monads go clubbing - Daniel Cicala,
Generalizing Lawvere theories - José Siqueira,
Dense generators of algebraic categories