ACT@UCR Seminar: Mathematics in the 21st Century - John Baez [with slides]

(1:9:47)

ACT@UCR Seminar: Star-Autonomous Envelopes - Michael Shulman

(1:1:44)

ACT@UCR Seminar: Values and Inclusivity in the ACT Community - Nina Otter

(1:36:32)

ACT@UCR Seminar: The Pi Calculus - Christian Williams

(1:13:59)

ACT@UCR Seminar: A Localic Approach to Dependency, Conflict, and Concurrency - Gershom Bazerman

(58:58)

ACT@UCR Seminar: Systems as Wiring Diagram Algebras - Christina Vasilakopoulou

(1:16:50)

ACT@UCR Seminar: Category Theory for Genetics - Kenny Courser

(1:27:50)

UCR SOM - TriNetX Summer Bootcamp 2024, Week 1 – Navigating TriNetX and Developing a Project

(1:17:7)

David Spivak - Category Theory - Part 1 of 6 - λC 2017

(1:1:8)

\

(56:24)

The mathematical work of Vladimir Voevodsky - Dan Grayson

(55:54)

CONS of Attending UCR......

(4:48)

Symplectic Geometry Class 1

(1:26:37)

Category Theory For Beginners: Adjoint Functors

(3:24:28)

Applied Category Theory. Chapter 1, lecture 1 (Spivak)

(50:45)

\

(41:40)

John Baez: \

(28:42)

ACT@UCR Seminar: A Categorical View of Conditional Expectation - Prakash Panagaden

(1:6:55)

ACT@UCR Seminar: Formal Concepts vs Eigenvectors of Density Operators - Tai-Danae Bradley

(1:21:44)

ACT@UCR Seminar: Open Games: the Long Road to Practical Applications - Jules Hedges

(1:18:47)

ACT@UCR Seminar: Separation Logic Through a New Lens - Sarah Rovner-Frydman

(1:7:44)

ACT@UCR Seminar: A Complete Axiomatisation of Partial Differentiation - Gordon Plotkin

(52:29)

ACT@UCR Seminar: The Legendre Transform: a Category Theoretic Perspective - Simon Willerton

(1:18:35)

ACT@UCR Seminar: Structured Cospans and Double Categories - John Baez

(1:12:30)

ACT@UCR Seminar: Social Contagion Modeled On Random Networks - Daniel Cicala

(1:2:38)

ACT@UCR Seminar: Odum's Energy Systems Language - Joe Moeller

(1:11:54)