Monoidal categories

Autonomous category

In mathematics, an autonomous category is a monoidal category where dual objects exist. (Wikipedia).

Video thumbnail

B18 Plane autonomous systems

In this section I introduce plane autonomous systems, which form beautiful and useful vector fields.

From playlist A Second Course in Differential Equations

Video thumbnail

B19 Example problem of a system of autonomous equations

Solving a system of ordinary differential equation, that are autonomous and represent a vector field in a plane.

From playlist A Second Course in Differential Equations

Video thumbnail

(8.1.1) Systems of Autonomous Nonlinear Differential Equations and Phase Plane Analysis

This video defines autonomous systems of differential equations, how to analyze phase portraits and determine the equilibrium solutions. https://mathispower4u.com

From playlist Differential Equations: Complete Set of Course Videos

Video thumbnail

Category Theory 2.1: Functions, epimorphisms

Functions, epimorphisms

From playlist Category Theory

Video thumbnail

Category Theory 1.2: What is a category?

What is a Category?

From playlist Category Theory

Video thumbnail

What Is Autonomous Navigation? | Autonomous Navigation, Part 1

Navigation is the ability to determine your location within an environment and to be able to figure out a path that will take you to a goal. This video provides an overview of how we get a robotic vehicle to do this automatically. We’ll cover what it means to have a fully autonomous vehic

From playlist Autonomous Navigation

Video thumbnail

Pratik Chaudhari: "Learning with Few Labeled Data"

Mathematical Challenges and Opportunities for Autonomous Vehicles 2020 Workshop I: Individual Vehicle Autonomy: Perception and Control "Learning with Few Labeled Data" Pratik Chaudhari - University of Pennsylvania Abstract: The relevant limit for machine learning is not N ? infinity but

From playlist Mathematical Challenges and Opportunities for Autonomous Vehicles 2020

Video thumbnail

Homomorphisms in abstract algebra

In this video we add some more definition to our toolbox before we go any further in our study into group theory and abstract algebra. The definition at hand is the homomorphism. A homomorphism is a function that maps the elements for one group to another whilst maintaining their structu

From playlist Abstract algebra

Video thumbnail

Team 7138 Montgomery Blair High School Presentation 2016

Montgomery Blair High School from Silver Spring, MD, walked away with Finalist distinction and $5,000 at the M3 Final Event on April 25, 2016. This year, more than 5,000 high school students from across the U.S. used mathematical modeling to determine the best solutions for issues facing t

From playlist M3 Challenge

Video thumbnail

Seminar 4.2: Anmon Shashua - Applications of Vision

MIT RES.9-003 Brains, Minds and Machines Summer Course, Summer 2015 View the complete course: https://ocw.mit.edu/RES-9-003SU15 Instructor: Amnon Shashua Using computer vision to develop transportation technology. Covers the technology and function of autonomous vehicles, visual recogniti

From playlist MIT RES.9-003 Brains, Minds and Machines Summer Course, Summer 2015

Video thumbnail

Dr Kai-Fu Lee - The Future of Artificial Intelligence

This talk took place on August 29, 2017 Kai-Fu Lee is a Taiwanese venture capitalist, technology executive, writer, and computer scientist. He is currently based in Beijing, China.

From playlist AI talks

Video thumbnail

Here’s what we know about COVID-19’s impact on the brain

When COVID-19 first emerged, many researchers were focused on its impact on the lungs. But others, including Avindra Nath, Clinical Director of the National Institute of Neurological Disorders and Stroke, suspected COVID could also have a profound impact on the brain. Brain autopsy data fr

From playlist Health and disease

Video thumbnail

Ken Mogi - Does Consciousness Defeat Materialism?

What would it take for consciousness to defeat materialism or physicalism? This is the worldview that only the physical is real, which is the dominant view of scientists and philosophers. Here's what it would take: our inner awareness, our experience of what things feel like, could not be

From playlist Understanding Consciousness - Closer To Truth - Core Topic

Video thumbnail

Jana Kosecka: "Perception and Learning for Autonomous Driving" (Part 1/2)

Watch part 2/2 here: https://youtu.be/hEiGNopcGRY Mathematical Challenges and Opportunities for Autonomous Vehicles Tutorials 2020 "Perception and Learning for Autonomous Driving" (Part 1/2) Jana Kosecka - George Mason University Institute for Pure and Applied Mathematics, UCLA Septembe

From playlist Mathematical Challenges and Opportunities for Autonomous Vehicles 2020

Video thumbnail

[BOURBAKI 2017] 11/03/2017 - 2/4 - Stéphane GUILLERMOU

Stéphane GUILLERMOU — Le problème de Riemann-Hilbert dans le cas irrégulier [d'après D'Agnolo, Kashiwara, Mochizuki, Schapira] A un D-module M (de façon grossière, un système d'EDP linéaires à coefficients holomorphes) sur une variété complexe X, on associe son faisceau de solutions holom

From playlist BOURBAKI - 2017

Video thumbnail

Jana Kosecka: "Perception and Learning for Autonomous Driving" (Part 2/2)

Watch part 1/2 here: https://youtu.be/il2rKmxXri0 Mathematical Challenges and Opportunities for Autonomous Vehicles Tutorials 2020 "Perception and Learning for Autonomous Driving" (Part 2/2) Jana Kosecka - George Mason University Institute for Pure and Applied Mathematics, UCLA Septembe

From playlist Mathematical Challenges and Opportunities for Autonomous Vehicles 2020

Video thumbnail

ICCV19: Oral Session 4.2A - Segmentation, Detection, 3D Scene Understanding

Link to indexed video: https://conftube.com/video/2ntDYowHbZs 1. YOLACT: Real-Time Instance Segmentation Daniel Bolya, Chong Zhou, Fanyi Xiao, Yong Jae Lee https://conftube.com/video/2ntDYowHbZs?tocitem=2 2. Expectation-Maximization Attention Networks for Semantic Segmentation Xia Li, Z

From playlist AI Research

Video thumbnail

Derived Categories part 1

We give a buttload of definitions for morphisms on various categories of complexes. The derived category of an abelian category is a category whose objects are cochain complexes and whose morphisms I describe in this video.

From playlist Derived Categories

Related pages

Symmetric monoidal category | Mathematics | Linear logic | Monoidal category | Rigid category | Pregroup | *-autonomous category | Compact closed category | Categorial grammar | Dual object