type theoretic truncation levels

Unknown Channel

Unknown Channel507 subscribers

Mar 30, 2020

Download

0 formats

No download links available.

Related Videos

20

Introduction to Cubical Type Theory (Part I)

Favonia

57.0K views · 6 years ago

Fractals are typically not self-similar

3Blue1Brown

44.0M views · 9 years ago

The Tiny Donut That Proved We Still Don't Understand Magnetism

Veritasium

82.0M views · 2 months ago

The Brain’s Learning Algorithm Isn’t Backpropagation

Artem Kirsanov

592.0K views · 1 year ago

Hegseth and Patel Iran Press Briefing Cold Open - SNL

Saturday Night Live

73.0M views · 1 week ago

The most beautiful formula not enough people understand

3Blue1Brown

1.0M views · 2 months ago

The Oldest Unsolved Problem in Math

Veritasium

20.0M views · 2 years ago

The Standard Model of Particle Physics A Triumph of Science

Quanta Magazine

35.0M views · 4 years ago

The Strange Math That Predicts (Almost) Anything

Veritasium

11.0M views · 9 months ago

Introduction to Normalization by Evaluation

Favonia

12.0K views · 6 years ago

How (and why) to take a logarithm of an image

3Blue1Brown

17.0M views · 1 month ago

CSCI 8980 Higher-Dimensional Type Theory, 2020 Spring (since 319)

Favonia

0 views · just now

The problem with pretending quantum mechanics makes sense Sean Carroll

Big Think and 2 more

11.0M views · 2 months ago

Why do prime numbers make these spirals Dirichlet’s theorem and pi approximations

3Blue1Brown

74.0M views · 6 years ago

The Harvard Department of Mathematics at Its Best

Harvard Mathematics Department

23.0K views · 4 days ago

Understanding Lagrange Multipliers Visually

Serpentine Integral

504.0K views · 4 years ago

1. Introduction to Human Behavioral Biology

Stanford

19.0M views · 15 years ago

This open problem taught me what topology is

3Blue1Brown

22.0M views · 1 year ago

$Newton’s fractal (which Newton knew nothing about)$ 26:06

Newton’s fractal (which Newton knew nothing about)

3Blue1Brown

31.0M views · 4 years ago

How Imaginary Numbers Were Invented

Veritasium

22.0M views · 4 years ago

© 2026 NatokHD. Not affiliated with YouTube.

About Terms Contact

type theoretic truncation levels | NatokHD