Squashing theories into Heyting algebras
This is the first of two videos on Heyting algebra, Tarski-Lindenbaum and negation: https://gist.github.com/Nikolaj-K/1478e66ccc9b7ac2ea565e743c904555 Followup video: https://youtu.be/ws6vCT7ExTY
From playlist Logic
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
Francesco Ciraulo: Notions of Booleanization in pointfree Topology
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: Boolean algebras play a key role in the foundations of classical mathematics. And a similar role is played by Heyting algebras for constructive mathematics. But this is
From playlist Workshop: "Constructive Mathematics"
Linear Algebra 2n: Spanning Sets
https://bit.ly/PavelPatreon https://lem.ma/LA - Linear Algebra on Lemma http://bit.ly/ITCYTNew - Dr. Grinfeld's Tensor Calculus textbook https://lem.ma/prep - Complete SAT Math Prep
From playlist Part 1 Linear Algebra: An In-Depth Introduction with a Focus on Applications
Algebra for Beginners | Basics of Algebra
#Algebra is one of the broad parts of mathematics, together with number theory, geometry and analysis. In its most general form, algebra is the study of mathematical symbols and the rules for manipulating these symbols; it is a unifying thread of almost all of mathematics. Table of Conten
From playlist Linear Algebra
This is a follow up to https://youtu.be/lDhKE2SKF08. In this video we zoom in on Negation and also discuss models such as the 3-valued one for intuitionistic propositional logic. The script I'm using you can find here: https://gist.github.com/Nikolaj-K/1478e66ccc9b7ac2ea565e743c904555
From playlist Logic
Albert Visser: The absorption law for slow provability
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: The absorption law for slow provability states that, if it is provable that A is slowly provable, then A is provable. We give a simple proof of the absorption law for a v
From playlist Workshop: "Proofs and Computation"
Ihsen Yengui: Algorithms for computing syzygies over VX 1,…,X n, V a valuation ring
The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: I will present a general algorithm for computing a finite generating set for the syzygies of any finitely generated ideal of V[X_1,...,X_k] (V a valuation domain) which does
From playlist Workshop: "Constructive Mathematics"
The Lie-algebra of Quaternion algebras and their Lie-subalgebras
In this video we discuss the Lie-algebras of general quaternion algebras over general fields, especially as the Lie-algebra is naturally given for 2x2 representations. The video follows a longer video I previously did on quaternions, but this time I focus on the Lie-algebra operation. I st
From playlist Algebra
As part of the college algebra series, this Center of Math video will teach you the basics of functions, including how they're written and what they do.
From playlist Basics: College Algebra
The Campbell-Baker-Hausdorff and Dynkin formula and its finite nature
In this video explain, implement and numerically validate all the nice formulas popping up from math behind the theorem of Campbell, Baker, Hausdorff and Dynkin, usually a.k.a. Baker-Campbell-Hausdorff formula. Here's the TeX and python code: https://gist.github.com/Nikolaj-K/8e9a345e4c932
From playlist Algebra
The Weyl algebra and the Heisenberg Lie algebra
In this video we give a simple teaser into the world of operator algebras. In particular, we talk about the Weyl algebra and compute some expressions that fulfill the property which defines the Heisenberg Lie algebra http://math.uchicago.edu/~may/REU2012/REUPapers/Lingle.pdf https://en.w
From playlist Algebra
A Gentle Approach to Crystalline Cohomology - Jacob Lurie
Members’ Colloquium Topic: A Gentle Approach to Crystalline Cohomology Speaker: Jacob Lurie Affiliation: Professor, School of Mathematics Date: February 28, 2022 Let X be a smooth affine algebraic variety over the field C of complex numbers (that is, a smooth submanifold of C^n which can
From playlist Mathematics
Kristin Courtney: Generalized inductive limits with asymptotically order zero maps
Talk by Kristin Courtney in Global Noncommutative Geometry Seminar (Europe) http://www.noncommutativegeometry.nl/ncgseminar/ on March 2, 2021
From playlist Talks of Mathematics Münster's reseachers
Bertrand Toën - Deformation quantization and derived algebraic geometry
Bertrand TOËN (CNRS - Univ. de Montpellier 2, France)
From playlist Algèbre, Géométrie et Physique : une conférence en l'honneur
Gilles Pisier: The lifting property for C*-algebras
Talk by Gilles Pisier in Global Noncommutative Geometry Seminar (Americas) on January 14, 2022 in https://globalncgseminar.org/talks/the-lifting-property-for-c-algebras/
From playlist Global Noncommutative Geometry Seminar (Americas)
Gilles Pisier - Propriétés de relèvement pour les 𝐶^∗-algèbres : du local au global ?
The main problem we will consider is whether the local lifting property (LLP) of a $C^*$-algebra implies the (global) lifting property (LP). Kirchberg showed that this holds if the Connes embedding problem has a positive solution, but it might hold even if its solution is negative. We will
From playlist Annual meeting “Arbre de Noël du GDR Géométrie non-commutative”
Linear Algebra: Continuing with function properties of linear transformations, we recall the definition of an onto function and give a rule for onto linear transformations.
From playlist MathDoctorBob: Linear Algebra I: From Linear Equations to Eigenspaces | CosmoLearning.org Mathematics