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)

Theories of Everything: Cosmic Controversies with Eric Weinstein, Sabine Hossenfelder, \u0026 Lee Smolin

(1:23:28)

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)

The Mathematical Truth | Enrico Bombieri

(1:24)

An Introduction to Category Theory

(6:15)

A Crash Course in Category Theory - Bartosz Milewski

(1:15:14)

Fred Chong: Closing the Gap Between Quantum Algorithms and Hardware

(1:2:40)

Higher Algebra 6: Derived Functors

(1:35:12)

Adjunctions in Everyday Life - Rúnar Bjarnason

(46:17)

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)

Fibred Categories of Tree Automata

(31:26)

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)