17:20Abbadini, Comonadicity of coalgebras of Vietoris functors over Set
A 17-minute video from Progetto ItaCa: “Abbadini, Comonadicity of coalgebras of Vietoris functors over Set”.
Progetto ItaCa
633 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
17:20
59:11Alessio Santamaria, Towards a Calculus of Substitution for Dinatural Transformations - ItaCa Fest I
Advanced
A 59-minute video from Progetto ItaCa: “Alessio Santamaria, Towards a Calculus of Substitution for Dinatural Transformations - ItaCa Fest I”.
1:07:56Amar Hadzihasanovic, The smash product of monoidal theories
Advanced
A 68-minute video from Progetto ItaCa: “Amar Hadzihasanovic, The smash product of monoidal theories”.
24:53Andrea Gagna, Bilimits are bifinal objects
A 25-minute video from Progetto ItaCa: “Andrea Gagna, Bilimits are bifinal objects”.
40:28Awodey, Algebraic Type Theory
A 40-minute video from Progetto ItaCa: “Awodey, Algebraic Type Theory”.
35:40Benjamin Merlin Bumpus - Categories, Dynamic Programming, CSPs and Beyond
A 36-minute video from Progetto ItaCa: “Benjamin Merlin Bumpus - Categories, Dynamic Programming, CSPs and Beyond”.
57:53Blechschmidt, Reifying dynamical algebra: how apply tools for the countable also to the uncountable
A 58-minute video from Progetto ItaCa: “Blechschmidt, Reifying dynamical algebra: how apply tools for the countable also to the uncountable”.
51:29Bonchi, Deconstructing Tarski’s calculus of relations with Tape diagrams
A 51-minute video from Progetto ItaCa: “Bonchi, Deconstructing Tarski’s calculus of relations with Tape diagrams”.
32:33Bruno Lindan - Limits via enrichment
A 33-minute video from Progetto ItaCa: “Bruno Lindan - Limits via enrichment”.
37:15Bryce Clarke - The free tabulator completion of a double category
A 37-minute video from Progetto ItaCa: “Bryce Clarke - The free tabulator completion of a double category”.
22:26Campanini, Some recent results on pretorsion theories in lextensive categories
Advanced
A 22-minute video from Progetto ItaCa: “Campanini, Some recent results on pretorsion theories in lextensive categories”.
32:21Cappelletti, Protoadditive Functors and Pretorsion Theories in Multipointed Context
Advanced
A 32-minute video from Progetto ItaCa: “Cappelletti, Protoadditive Functors and Pretorsion Theories in Multipointed Context”.
1:10:10Capucci, Triple categories of open cybernetic systems
Advanced
A 70-minute video from Progetto ItaCa: “Capucci, Triple categories of open cybernetic systems”.
37:32Christina Vasilakopoulou - Monoidal structures on the bimodule construction for double categories
Advanced
A 38-minute video from Progetto ItaCa: “Christina Vasilakopoulou - Monoidal structures on the bimodule construction for double categories”.
31:17Cigoli, From Yoneda's additive regular spans to fibred cartesian monoidal opfibrations
Advanced
A 31-minute video from Progetto ItaCa: “Cigoli, From Yoneda's additive regular spans to fibred cartesian monoidal opfibrations”.
39:11Cipriano Junior Cioffo - Exact Completion of Fibrations
Advanced
A 39-minute video from Progetto ItaCa: “Cipriano Junior Cioffo - Exact Completion of Fibrations”.
31:38Coraglia, A fuzzy theory of types
Advanced
A 32-minute video from Progetto ItaCa: “Coraglia, A fuzzy theory of types”.
27:37D'Espalungue, Internal pseudomonoidal structures and Day convolution in monoidal 2 categories
Advanced
A 28-minute video from Progetto ItaCa: “D'Espalungue, Internal pseudomonoidal structures and Day convolution in monoidal 2 categories”.
32:06Dagnino, Relational doctrines, monads and lax algebras
A 32-minute video from Progetto ItaCa: “Dagnino, Relational doctrines, monads and lax algebras”.
34:28Danel Ahman, Comodule Representations of Second-Order Functionals
A 34-minute video from Progetto ItaCa: “Danel Ahman, Comodule Representations of Second-Order Functionals”.
38:45Dario Stein, Random Variables and Categories of Abstract Sample Spaces
A 39-minute video from Progetto ItaCa: “Dario Stein, Random Variables and Categories of Abstract Sample Spaces”.
37:34Davide Trotta, The existential completion, choice principles and applications - ItaCa Fest I
Advanced
A 38-minute video from Progetto ItaCa: “Davide Trotta, The existential completion, choice principles and applications - ItaCa Fest I”.
1:18:13Denis Nardin, Equivariant multiplicative structures - ItaCa Fest I
Advanced
A 78-minute video from Progetto ItaCa: “Denis Nardin, Equivariant multiplicative structures - ItaCa Fest I”.
35:30Di Lavore, Evidential decision theory via partial Markov categories
Advanced
A 36-minute video from Progetto ItaCa: “Di Lavore, Evidential decision theory via partial Markov categories”.
48:53Di Vittorio, A gentle introduction to 2-derivators
Intro
A 49-minute video from Progetto ItaCa: “Di Vittorio, A gentle introduction to 2-derivators”.
57:01Domenico Fiorenza, Categorical shadows lurking behind integral formulas for genera
Advanced
A 57-minute video from Progetto ItaCa: “Domenico Fiorenza, Categorical shadows lurking behind integral formulas for genera”.
41:13Elena Caviglia - On the exactness of the 2-category of triangulated categories
Advanced
A 41-minute video from Progetto ItaCa: “Elena Caviglia - On the exactness of the 2-category of triangulated categories”.
55:37Enrico Ghiorzi, Complete internal categories
A 56-minute video from Progetto ItaCa: “Enrico Ghiorzi, Complete internal categories”.
40:15Ettore Aldrovandi - Biextensions and Monoidal (2-)Categories
A 40-minute video from Progetto ItaCa: “Ettore Aldrovandi - Biextensions and Monoidal (2-)Categories”.
52:16Federico Olimpieri, Categorifying Intersection Types
A 52-minute video from Progetto ItaCa: “Federico Olimpieri, Categorifying Intersection Types”.
35:02Fernando Lucatelli Nunes - A Generalization of the Eilenberg–Moore Factorization
A 35-minute video from Progetto ItaCa: “Fernando Lucatelli Nunes - A Generalization of the Eilenberg–Moore Factorization”.
42:42Francesca Pratali - The root functor
A 43-minute video from Progetto ItaCa: “Francesca Pratali - The root functor”.
37:38Freni, What should Strong Vector Spaces be?
Advanced
A 38-minute video from Progetto ItaCa: “Freni, What should Strong Vector Spaces be?”.
43:01Fritz, What is probability theory?
A 43-minute video from Progetto ItaCa: “Fritz, What is probability theory?”.
35:47Félix Loubaton - Effectivity in the context of (∞,n)-categories
Advanced
A 36-minute video from Progetto ItaCa: “Félix Loubaton - Effectivity in the context of (∞,n)-categories”.
24:41Gagna, A categorical take on Steiner omega categories
Advanced
A 25-minute video from Progetto ItaCa: “Gagna, A categorical take on Steiner omega categories”.