Topos theory | Categorical logic | Objects (category theory)
In category theory, a natural numbers object (NNO) is an object endowed with a recursive structure similar to natural numbers. More precisely, in a category E with a terminal object 1, an NNO N is given by: 1. * a global element z : 1 → N, and 2. * an arrow s : N → N, such that for any object A of E, global element q : 1 → A, and arrow f : A → A, there exists a unique arrow u : N → A such that: 1. * u ∘ z = q, and 2. * u ∘ s = f ∘ u. In other words, the triangle and square in the following diagram commute. The pair (q, f) is sometimes called the recursion data for u, given in the form of a recursive definition: 1. * ⊢ u (z) = q 2. * y ∈E N ⊢ u (s y) = f (u (y)) The above definition is the universal property of NNOs, meaning they are defined up to canonical isomorphism. If the arrow u as defined above merely has to exist, that is, uniqueness is not required, then N is called a weak NNO. (Wikipedia).
Construction of Natural Numbers In this, I rigorously define the concept of a natural number, using Peano's axioms. I also explain why those axioms are the basis for the principle of mathematical induction. Enjoy! Check out my Real Numbers Playlist: https://www.youtube.com/playlist?list=
From playlist Real Numbers
Identifying Sets of Real Numbers
This video provides several examples of identifying the sets a real number belongs to. Complete Video Library: http://www.mathispower4u.com Search by Topic: http://www.mathispower4u.wordpress.com
From playlist Number Sense - Properties of Real Numbers
Reconsidering natural numbers and arithmetical expressions | Data structures Math Foundations 185
It is time to turn our gaze back to the true foundations of the subject: arithmetic with natural numbers. But now we know that the issue of "What exactly is a natural number?" is fraught with subtlety. We adopt a famous dictum of Errett Bishop, and start to make meaningful distinctions bet
From playlist Math Foundations
Different Types of Numbers on the number line, lesson 1 #shorts
Watch the full playlist: https://www.youtube.com/watch?v=kcxK3_sROZA&list=PL14bv5vXK2WWuODhGbpPQA0GamV5ohOVb&index=1 Natural Numbers (N), (also called positive integers, counting numbers, or natural numbers); They are the numbers {1, 2, 3, 4, 5, …} Whole Numbers (W). This is the set of na
From playlist Celebrities Teach Math: The Number System
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 11): Ordering of the Natural Numbers
Please feel free to leave comments/questions on the video and practice problems below! In this video, we utilize the definition of natural number to speak of ordering on the set of all natural numbers. In addition, the well-ordering principle and trichotomy law are proved.
From playlist Set Theory by Mathoma
Determine Sets Given Using Set Notation (Ex 1)
This video provides examples to describing a set given the set notation of a set.
From playlist Sets (Discrete Math)
Nima Rasekh - Every Elementary Higher Topos has a Natural Number Object
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/NimaSlidesToposesOnline.pdf One key aspect of elementary topos theory is the existence of a natural number object. W
From playlist Toposes online
Ordered Fields In this video, I define the notion of an order (or inequality) and then define the concept of an ordered field, and use this to give a definition of R using axioms. Actual Construction of R (with cuts): https://youtu.be/ZWRnZhYv0G0 COOL Construction of R (with sequences)
From playlist Real Numbers
Philosophy of Mathematics & Frege (Dummett 1994)
Michael Dummett gives a talk on Frege and the philosophy of mathematics. For a good introduction to the philosophy of mathematics, check out: https://www.youtube.com/watch?v=UhX1ouUjDHE Another good introduction to the philosophy of mathematics: https://www.youtube.com/watch?v=XyXWnGFKTkg
From playlist Logic & Philosophy of Mathematics
Category theory for JavaScript programmers #21: terminal and initial objects
http://jscategory.wordpress.com/source-code/
From playlist Category theory for JavaScript programmers
A multiset approach to arithmetic | Math Foundations 227 | N J Wildberger
We introduce a new framework for basic arithmetic and algebra, using the data structure of a multiset, or mset. This is an unordered collection of mathematical objects in which repetition is allowed. But what constitutes a "mathematical object"? One way of proceeding is to begin with the s
From playlist Box Arithmetic
Set Theory (Part 7): Natural Numbers and Induction
Please feel free to leave comments/questions on the video and practice problems below! In this video, I discuss the von Neumann construction of the natural numbers and relate the idea of natural numbers to inductive sets. The axiom of infinity is also introduced here as one of the ZFC axi
From playlist Set Theory by Mathoma
Foundations S2 - Seminar 7 - Nonstandard models of arithmetic
A seminar series on the foundations of mathematics, by Will Troiani and Billy Snikkers. In this lecture Billy uses ultrafilters to construct nonstandard models of arithmetic, the hypernaturals. Near the end is some discussion of how to read this as talking about the limits of first order l
From playlist Foundations seminar
Gluing in Homotopy Type Theory - Michael Shulman
Michael Shulman University of California, San Diego; Member, School of Mathematics March 20, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
You should know what Impredicativity is.
In this video I discuss the concept of predicativity, impredicativity and vicious circles. The text for the video is found in https://gist.github.com/Nikolaj-K/aae1f4bd582e60e6b7e5b5431fee054c
From playlist Logic
Richard Rorty on Pan-Relationalism (1996)
Richard Rorty doing what he does. #Philosophy #Rorty #Pragmatism
From playlist Richard Rorty
Jens Hemelaer - Toposes of presheaves on monoids as generalized topological spaces
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/HemelaerSlidesToposesOnline.pdf Various ideas from topology have been generalized to toposes, for example surjection
From playlist Toposes online
From playlist a. Numbers and Measurement