Enrico Ghiorzi --- Internal enriched categories.

(58:28)

Enrico Ghiorzi, Complete internal categories

(55:37)

(Deep) Induction Rules for GADTs

(13:53)

DelibWG [2023-08-07] Impressions from NODE Robotics / Cont'd different behavior tree formalisms

(1:12:34)

DelibWG [2023-07-03] SkiROS2 Lund / RiACT \u0026 behavior tree formalism and implementation (Audio only)

(55:30)

[LSFA 2021] GADTs, Functoriality, Parametricity: Pick Two

(28:18)

[CPP'22] (Deep) Induction Rules for GADTs

(24:8)

Tai-Danae Bradley | Category Theory and Language Models | The Cartesian Cafe with Timothy Nguyen

(2:25:18)

Monoidal Categories

(56:38)

André JOYAL - 1/4 A crash course in topos theory : the big picture

(1:13:22)

Lie Algebras and Homotopy Theory - Jacob Lurie

(1:59)

Quantum Chaos - Prof. Nalini Anantharaman

(1:26:54)

An elementary introduction to (infinity,1)-categories via quasi-categories

(48:29)

Adjunctions in Everyday Life - Rúnar Bjarnason

(46:17)

Category Theory 6.1: Functors

(54:10)

The Mathematical Truth | Enrico Bombieri

(1:24)

Category Theory For Beginners: Natural Transformations

(1:11:43)

Category: Internal Definition

(13:43)

Representable Characterization of Adjoint Situations

(2:)

Category Theory - Lecture 4 Part 2

(1:5:3)

Quantum gravity in the lab: matrix quantum mechanics meets quantum computing - Enrico Rinaldi

(1:12:46)

John Bourke: \

(1:5:46)

Algebraic Topology - 8.2 - Adjunction, Natural Transformations, Opposite Category

(24:26)

Enriched Segal categories as models for weakly enriched categories

(53:45)

Pieter Hofstra - Isotropy of Toposes

(51:9)

Generalizing the interleaving distance using categorical flows [Astrid A. Olave H.]

(10:41)