Kan Simplicial Set Model of Type Theory - Peter LeFanu Lumsdaine
Peter LeFanu Lumsdaine Dalhousie University; Member, School of Mathematics October 25, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Introduction to sets || Set theory Overview - Part 1
A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other #sets. The #set with no element is the empty
From playlist Set Theory
This video introduces the basic vocabulary used in set theory. http://mathispower4u.wordpress.com/
From playlist Sets
Introduction to Sets and Set Notation
This video defines a set, special sets, and set notation.
From playlist Sets (Discrete Math)
Introduction to sets || Set theory Overview - Part 2
A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other #sets. The #set with no element is the empty
From playlist Set Theory
Set Theory (Part 16): Correspondence Between Number Systems
Please feel free to leave comments/questions on the video and practice problems below! In this video, we will connect the number systems together through isomorphic embedding functions, so that operations are preserved across number systems. I will also argue that, in the strict sense, th
From playlist Set Theory by Mathoma
Determine Sets Given Using Set Notation (Ex 2)
This video provides examples to describing a set given the set notation of a set.
From playlist Sets (Discrete Math)
Set Theory (Part 2): ZFC Axioms
Please feel free to leave comments/questions on the video and practice problems below! In this video, I introduce some common axioms in set theory using the Zermelo-Fraenkel w/ choice (ZFC) system. Five out of nine ZFC axioms are covered and the remaining four will be introduced in their
From playlist Set Theory by Mathoma
Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2
HYBRID EVENT Recorded during the meeting "Logic and Interactions" the February 22, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual M
From playlist Topology
Stable Homotopy Seminar, 14: The stable infinity-category of spectra
I give a brief introduction to infinity-categories, including their models as simplicially enriched categories and as quasi-categories, and some categorical constructions that also make sense for infinity-categories. I then describe what it means for an infinity-category to be stable and h
From playlist Stable Homotopy Seminar
On Finite Types That Are Not h-Sets - Sergey Melikhov
Sergey Melikhov Steklov Mathematical Institute; Member, School of Mathematics February 14, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
Introduction To Complete Segal Spaces by Rekha Santhanam
PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics
From playlist Dualities in Topology and Algebra (Online)
Simplicial Sets by Rekha Santhanam
PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics
From playlist Dualities in Topology and Algebra (Online)
Lecture 2A: What is a "Mesh?" (Discrete Differential Geometry)
Full playlist: https://www.youtube.com/playlist?list=PL9_jI1bdZmz0hIrNCMQW1YmZysAiIYSSS For more information see http://geometry.cs.cmu.edu/ddg
From playlist Discrete Differential Geometry - CMU 15-458/858
Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3
HYBRID EVENT Recorded during the meeting "Logic and Interactions" the February 24, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual M
From playlist Topology
Graham ELLIS - Computational group theory, cohomology of groups and topological methods 4
The lecture series will give an introduction to the computer algebra system GAP, focussing on calculations involving cohomology. We will describe the mathematics underlying the algorithms, and how to use them within GAP. Alexander Hulpke's lectures will being with some general computation
From playlist École d'Été 2022 - Cohomology Geometry and Explicit Number Theory
Johnathan Bush (11/5/21): Maps of Čech and Vietoris–Rips complexes into euclidean spaces
We say a continuous injective map from a topological space to k-dimensional euclidean space is simplex-preserving if the image of each set of at most k+1 distinct points is affinely independent. We will describe how simplex-preserving maps can be useful in the study of Čech and Vietoris–Ri
From playlist Vietoris-Rips Seminar
Higher Algebra 1: ∞-Categories
In this video, we introduce ∞-categories. This is the first of a series of videos towards a reasonably non-technical overview over stable ∞-categories and Higher Algebra, which are intended to be watchable independently from the main lecture. Further resources: M.Boardman and R.Vogt. Homo
From playlist Higher Algebra
SET is an awesome game that really gets your brain working. Play it! Read more about SET here: http://theothermath.com/index.php/2020/03/27/set/
From playlist Games and puzzles