The Axiom of Choice | Epic Math Time
The axiom of choice states that the cartesian product of nonempty sets is nonempty. This doesn't sound controversial, and it might not even sound interesting, but adopting the axiom of choice has far reaching consequences in mathematics, and applying it in proofs has a very distinctive qua
From playlist Latest Uploads
Relations and Functions | Axiomatic Set Theory, Section 2.1
In this video we define and prove a few basic theorems about relations and functions. My Twitter: https://twitter.com/KristapsBalodi3 Intro:(0:00) Ordered Pairs:(1:43) IMAGE-in that!:(3:33) Composition: (7:57) Functions:(11:05) Special thanks to Alex Stephens
From playlist Axiomatic Set Theory
What's so wrong with the Axiom of Choice ?
One of the Zermelo- Fraenkel axioms, called axiom of choice, is remarkably controversial. It links to linear algebra and several paradoxes- find out what is so strange about it ! (00:22) - Math objects as sets (00:54) - What axioms we use ? (01:30) - Understanding axiom of choice (03:2
From playlist Something you did not know...
Ivo Dell’Ambrogio: A survey of Mackey and Green 2-functors
CONFERENCE Recording during the thematic meeting : « Chromatic Homotopy, K-Theory and Functors» the January 23, 2023 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Jean Petit Find this video and other talks given by worldwide mathematicians on CIR
From playlist Topology
Ivan Di Liberti - Towards higher topology
Talk at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/DiLibertiSlidesToposesOnline.pdf We categorify the adjunction between locales and topological spaces, this amounts t
From playlist Toposes online
This lecture is part of an online course on the Zermelo Fraenkel axioms of set theory. This lecture gives an overview of the axioms, describes the von Neumann hierarchy, and sketches several approaches to interpreting the axioms (Platonism, von Neumann hierarchy, multiverse, formalism, pra
From playlist Zermelo Fraenkel axioms
Stable Homotopy Seminar, 8: The Stable Model Category of Spectra
We discuss the enrichment of spectra over spaces, and the compatibility of this enrichment with the model structure. Then we define the stable model structure by adding extra cofibrations to the levelwise model category of spectra, and restricting the weak equivalences to those maps which
From playlist Stable Homotopy Seminar
Zermelo Fraenkel Extensionality
This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. In this lecture we discuss the axiom of extensionality, which says that two sets are equal if they have the same elements. For the other lectures in the course see https://www.youtube.com/playlist?list
From playlist Zermelo Fraenkel axioms
Foundations S2 - Seminar 9 - Morgan Rogers on Morita equivalences and topological monoids
In this guest lecture, Morgan Rogers presents some results on topological monoids, topoi and Morita equivalences. Abstract: This talk presents the story which convinced me that logic has something positive to contribute in resolving questions in other areas of mathematics. Groups (and mor
From playlist Foundations seminar
Topos seminar Lecture 15: Abstraction and adjunction (Part 1)
I begin by explaining in a simple example the connection between formal reasoning involving distinct concepts, and adjunctions between classifying topoi. This leads to a discussion of models in topoi (focused on the particular example of the theory of abelian groups) then to the syntactic
From playlist Topos theory seminar
The perfect number of axioms | Axiomatic Set Theory, Section 1.1
In this video we introduce 6 of the axioms of ZFC set theory. My Twitter: https://twitter.com/KristapsBalodi3 Intro: (0:00) The Axiom of Existence: (2:39) The Axiom of Extensionality: (4:20) The Axiom Schema of Comprehension: (6:15) The Axiom of Pair (12:16) The Axiom of Union (15:15) T
From playlist Axiomatic Set Theory
Orders and Ordered Sets | Axiomatic Set Theory, Section 2.3
We discuss order relations on sets, and isomorphisms of ordered sets. My Twitter: https://twitter.com/KristapsBalodi3
From playlist Axiomatic Set Theory
Model Theory - part 04 - Posets, Lattices, Heyting Algebras, Booleans Algebras
This is a short video for people who haven't seen a Heyting algebras before. There is really nothing special in it that doesn't show up in wikipedia or ncatlab. I just wanted to review it before we use them. Errata: *at 3:35: there the law should read (a and (a or b) ), not (a and (a and
From playlist Model Theory
Egbert Rijke: Daily applications of the univalence axiom - lecture 1
HYBRID EVENT Recorded during the meeting "Logic and Interactions" the February 21, 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 Combinatorics
Stable Homotopy Seminar, 7: Constructing Model Categories
A stroll through the recognition theorem for cofibrantly generated model categories, using it to construct (1) the Quillen/Serre model structure on topological spaces and (2) the levelwise model structure on spectra. The latter captures the idea that spectra are sequences of spaces, but no
From playlist Stable Homotopy Seminar
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
Compositionality Journal: A quick look at the first papers
In this video I take a first look at the papers of the newly announced Compositionality Journal that relates to the "Applied Category Theory" crowd. Here's all the links shown in this video: https://gist.github.com/Nikolaj-K/7ea620559982c99618dd1032e1e8389f The papers are * Network models
From playlist Algebra
SYN_010 - Linguistic Micro-Lectures: Adjuncts
What are adjuncts, how can we define them according to a traditional view and how are they defined in X'-syntax? Within less than two minutes Prof. Handke explains the central aspects associated with the term adjunct. (Optional Spanish subtitles by Andrea Yaques, Lima, Peru)
From playlist Micro-Lectures - Syntax
Equivalences and Partitions, Axiomatic Set Theory 2 2
Defining equivalences and partitions of sets, and proving some theorems about their relations to each other. My Twitter: https://twitter.com/KristapsBalodi3 Equivalence Relations:(0:00) Partitions:(9:22) Connecting Equivalence and Partitions:(14:09) Representatives:(27:04)
From playlist Axiomatic Set Theory
Duality In Higher Categories II by Pranav Pandit
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)