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: 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)

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

(1:6:55)

\

(56:24)

CONS of Attending UCR......

(4:48)

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

(1:1:8)

Apartment tour in Riverside California | Rent? | UC Riverside

(10:24)

The mathematical work of Vladimir Voevodsky - Dan Grayson

(55:54)

Homotopy Type Theory Discussed - Computerphile

(13:31)

Science Lecture Series - UC Riverside - Dec 8, 2016 - Our Cosmic Origins: Stars, Galaxies, \u0026 Life

(1:56:35)

Biology as Information Dynamics - John Baez

(1:1:48)

How can apnea help you?

(8:)

David Baker, PhD: 2023 UCR SOM Haider Biomedical Breakthrough Lecture

(47:49)

ACT@UCR Seminar: The Pi Calculus - Christian Williams

(1:13:59)

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)