Logic and Geometry in Topos theory and in Homotopy Type theory. Part 2.

Why it's on BrighterTube

Editorial review · 85% confidence

Round-13 hunt: picked; source: named-course long-video search (round-13 wave 2); channel screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality tier B passed; strict per-title check + final strict pass; oEmbed verified.

What you'll learn

A 73-minute video from Andrei Rodin: “Logic and Geometry in Topos theory and in Homotopy Type theory. Part 2.”.

Science & Math

Video by Andrei Rodin, played through YouTube's embedded player.

1:08:10

Proclus on the definition of angle and the concept of mathematical structure according to Voevodsky Andrei RodinScience & Math

49:37

Topological Data Analysis in the Biomedical Research Andrei RodinScience & Math

But what is a neural network? | Deep learning chapter 1 3Blue1BrownScience & Math25.1M views

But what is the Fourier Transform? A visual introduction.3Blue1BrownScience & Math12.6M views

Lec 1 | MIT 18.06 Linear Algebra, Spring 2005 MIT OpenCourseWareScience & Math4.93M views

Math's Fundamental Flaw VeritasiumScience & Math30.8M views

AT&T Archives: Similiarities of Wave Behavior (Bonus Edition)AT&T Tech ChannelEngineering474K views

The Most Misunderstood Concept in Physics VeritasiumScience & Math31.5M views

Lecture 1: Introduction to Superposition MIT OpenCourseWareScience & Math9.37M views

25:10

How an Atomic Clock Really Works: Inside the HP 5061A Cesium Clock CuriousMarcEngineering465K views

Doug McLean | Common Misconceptions in Aerodynamics Michigan EngineeringEngineering857K views

27:13

The Longest Year in Human History (46 B.C.E.)Historia CivilisHistory7.36M views

1:08:10

Proclus on the definition of angle and the concept of mathematical structure according to Voevodsky

Andrei Rodin

A 68-minute video from Andrei Rodin: “Proclus on the definition of angle and the concept of mathematical structure according to Voevodsky”.

49:37

Topological Data Analysis in the Biomedical Research

Andrei Rodin

A 50-minute video from Andrei Rodin: “Topological Data Analysis in the Biomedical Research”.

But what is a neural network? | Deep learning chapter 1

3Blue1Brown25.1M views

Builds up what a neural network actually is — neurons as numbers, layers, weights and biases — using handwritten-digit recognition as the running example.

But what is the Fourier Transform? A visual introduction.

3Blue1Brown12.6M views

A visual introduction to the Fourier transform: winding a signal around a circle to find its frequencies.

Lec 1 | MIT 18.06 Linear Algebra, Spring 2005

MIT OpenCourseWare4.93M views

Gilbert Strang's first lecture of MIT 18.06: the geometry of linear equations.

Math's Fundamental Flaw

Veritasium30.8M views

Gödel's incompleteness, Turing's halting problem and the limits of mathematics.

AT&T Archives: Similiarities of Wave Behavior (Bonus Edition)

AT&T Tech Channel474K views

Bell Labs' J.N. Shive uses a mechanical wave machine to show reflection, standing waves, resonance and impedance matching — the ideas behind transmission lines.

The Most Misunderstood Concept in Physics

Veritasium31.5M views

Entropy, the arrow of time and why the Sun is a source of low entropy rather than just energy.

Lecture 1: Introduction to Superposition

MIT OpenCourseWare9.37M views

MIT 8.04 Quantum Physics I, lecture 1: superposition, introduced through experiments with 'hardness' and 'color'.

25:10

How an Atomic Clock Really Works: Inside the HP 5061A Cesium Clock

CuriousMarc465K views

CuriousMarc opens an HP 5061A caesium beam clock and explains, module by module, how it locks to an atomic transition.

Doug McLean | Common Misconceptions in Aerodynamics

Michigan Engineering857K views

Boeing aerodynamicist Doug McLean dismantles popular wrong explanations of lift and explains what really happens.

27:13

The Longest Year in Human History (46 B.C.E.)

Historia Civilis7.36M views

How Julius Caesar's calendar reform produced the 445-day year of 46 BCE and gave us the Julian calendar.