Alessio Santamaria, Towards a Calculus of Substitution for Dinatural Transformations - ItaCa Fest I
Ivan Di Liberti, Givant, Morley, Zilber
Category Theory III 6.2, Ends
Towards a formal category theory of derivators - Fosco Loregian (Tallinn Technical University)
ACT 2021 - Day 3, Session 1
[POPL 2021] Functorial Semantics for Partial Theories (full)
23/04/2021 - Fosco Loregian, "Functorial Semantics for Partial Theories"
Category Theory III 2.1: String Diagrams part 1
Fosco Loregian, Coends of higher arity - ItaCa Fest XMas Edition