33:24

Sanjiv Ranchod - Substitution for Linear-Cartesian and Full Substructural Theories

40:44

Peter Lumsdaine - Organising syntax in arithmetic universes

36:25

Pablo Donato - The Flower Calculus

35:07

Xabier García-Martínez, A universal Kaluzhnin-Krasner embedding theorem

35:34

Nelson Martins-Ferreira, Categorical Analysis of MATLAB and Octave Programming Functions

34:13

Zurab Janelidze, Relational Duality for Barr Exact Mal'tsev Categories

29:22

Di Liberti, Taking ItaCa seriously

31:23

Giuseppe Leoncini, Enriched Homotopy Cocompletions

33:36

Nicola Carissimi, Enriched bicategories for enrichies bi(co)ends

33:40

John Bourke, Bicategorical enrichment in algebra

41:37

Luca Mesiti, Towards elementary 2-toposes

29:35

Giacomo Tendas, Regular theories from the enriched point of view

29:41

Matthew Di Meglio, Minimal dilations categorically

34:28

Danel Ahman, Comodule Representations of Second-Order Functionals

38:45

Dario Stein, Random Variables and Categories of Abstract Sample Spaces

40:41

Weinberger, The dependent Gödel fibration

40:12

Luigi Santocanale, Complete congruences of completely distributive lattices

43:58

Spada, 2-Weil 2-rigs

40:54

Rota, Exceptional collections and pseudolattices in mirror symmetry

40:21

Wolf, Higher Category Theory Internal to an Infinity Topos

37:58

Ozornova, Equivalences in higher categories

31:17

Cigoli, From Yoneda's additive regular spans to fibred cartesian monoidal opfibrations

34:59

Jacqmin, Surjection-like classes of morphisms

31:03

Mancini, On the representability of actions of non-associative algebras

40:24

Henry, Pro-completion of the category of sets and prodiscrete spaces

38:44

Stenzel, The Comparison Lemma in higher topos theory

32:21

Volpe, Traces of dualizable categories and functoriality of the Becker-Gottlieb transfers

37:21

Koudenburg, Formal Day convolution and low-dimensional monoidal fibrations

35:44

Lobbia, A skew approach to enrichment for Gray-categories

41:07

Wrigley, Topological groupoids for classifying toposes

40:28

Awodey, Algebraic Type Theory

32:21

Cappelletti, Protoadditive Functors and Pretorsion Theories in Multipointed Context

40:30

Vitale, The completion under strong homotopy cokernels

40:31

Ramos Gonzalez, Bicategorical presentations of étendues

38:51

Guffanti, A doctrinal view of logic

37:38

Freni, What should Strong Vector Spaces be?

30:06

Menni, Decidable objects and molecular toposes

42:47

Trotta, Gödel doctrines and Dialectica logical principles

43:01

Fritz, What is probability theory?

35:30

Di Lavore, Evidential decision theory via partial Markov categories

22:26

Campanini, Some recent results on pretorsion theories in lextensive categories

05:03

Opening discourses, Gadducci and Metere

17:20

Abbadini, Comonadicity of coalgebras of Vietoris functors over Set

32:06

Dagnino, Relational doctrines, monads and lax algebras

01:04:33

Zanasi, Categorical Foundations of Machine Learning from Semantics to Verification

32:30

van Belle, Radon Nikodym derivates and martingales using category theory

27:37

D'Espalungue, Internal pseudomonoidal structures and Day convolution in monoidal 2 categories

30:12

Laretto, Categorical Semantics for Counterpart based Temporal Logics in Agda

27:14

Spadetto, A conservativity like result for a propositional type theory

28:58

Nocera, The exodromy theorem

31:38

Coraglia, A fuzzy theory of types

20:17

Mesiti, Lax normal conical 2 limits and the Grothendieck construction

24:41

Gagna, A categorical take on Steiner omega categories

52:38

Maggesi, Categories and Bicategories in UniMath

26:57

Loregian, A few remarks of the fibration of algebras

48:53

Di Vittorio, A gentle introduction to 2-derivators

01:10:10

Capucci, Triple categories of open cybernetic systems

51:57

Reggio, Arboreal categories and homomorphism preservation theorems

45:59

Metere, Groupal Pseudofunctors

57:53

Blechschmidt, Reifying dynamical algebra: how apply tools for the countable also to the uncountable