This lecture is part of an online course on category theory. We define functors and give some examples of them. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj51F9XZ_Ka4bLnQoxTdMx0AL
From playlist Categories for the idle mathematician
In this video, we investigate how to compute limits of a function that is given graphically.
From playlist Calculus
This lecture is part of an online course on category theory. We define adoint functors and give severalexamples of them. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj51F9XZ_Ka4bLnQoxTdMx0AL
From playlist Categories for the idle mathematician
Category theory for JavaScript programmers #28: algebras and control flow
http://jscategory.wordpress.com/source-code/
From playlist Category theory for JavaScript programmers
Calculus 1 Lecture 3.1: Increasing/Decreasing and Concavity of Functions
Calculus 1 Lecture 3.1: Discussion of Increasing and Decreasing Intervals. Discussion of Concavity of functions.
From playlist Calculus 1 (Full Length Videos)
Calculus 1 Lecture 5.1: Finding Area Between Two Curves
Calculus 1 Lecture 5.1: Finding Area Between Two Curves
From playlist Calculus 1 (Full Length Videos)
Infinite Limits With Equal Exponents (Calculus)
#Calculus #Math #Engineering #tiktok #NicholasGKK #shorts
From playlist Calculus
Higher Algebra 6: Derived Functors
In this video, we define and discuss derived functors between derived categories of abelian categories. Additionally we discuss the notion of adjoint functors and Kan extensions. Feel free to post comments and questions at our public forum at https://www.uni-muenster.de/TopologyQA/index.
From playlist Higher Algebra
Lecture 1: Invitation to topos theory
This talk introduces the motivating question for this semester of the Curry-Howard seminar, which is how to organise mathematical knowledge using topoi. The approach sketched out in the talk is via first-order theories, their associated classifying topoi, and adjoint pairs of functors betw
From playlist Topos theory seminar
Substructural Type Theory - Zeilberger
Noam Zeilberger IMDEA Software Institute; Member, School of Mathematics March 22, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
Gregory Arone: Calculus of functors and homotopy theory (Lecture 2)
The lecture was held within the framework of the (Junior) Hausdorff Trimester Program Topology: "Seminar on Functor Calculus and Chromatic Methods" Abstract: The derivatives of a functor have a bimodule structure over a certain operad. If the Tate homology of the derivatives vanish, then
From playlist HIM Lectures: Junior Trimester Program "Topology"
Paul André Melliès - Dialogue Games and Logical Proofs in String Diagrams
After a short introduction to the functorial approach to logical proofs and programs initiated by Lambek in the late 1960s, based on the notion of free cartesian closed category, we will describe a recent convergence with the notion of ribbon category introduced in 1990 by Reshetikhin and
From playlist Combinatorics and Arithmetic for Physics: 02-03 December 2020
jQuery Conference SF 2012 Faster jQuery With Category Theory by John Bender
Math: It's certainly not something you expect to see at a conference about JavaScript, but even this far from its ivory towers it has an important role to play. Together we'll build two categories, see how satisfying the Functor laws shines light on a simple optimization for our jQuery met
From playlist jQuery Conference 2012 - San Francisco
Mather-Thurston’s theory, non abelian Poincare duality and diffeomorphism groups - Sam Nariman
Workshop on the h-principle and beyond Topic: Mather-Thurston’s theory, non abelian Poincare duality and diffeomorphism groups Speaker: Sam Nariman Affiliation: Purdue University Date: November 1, 2021 Abstract: I will discuss a remarkable generalization of Mather’s theorem by Thurston
From playlist Mathematics
Gregory Arone: Calculus of functors and homotopy theory (Lecture 3)
The lecture was held within the framework of the (Junior) Hausdorff Trimester Program Topology: "Seminar on Functor Calculus and Chromatic Methods" We will survey how many results about the Goodwillie tower of the identity functor have analogues for the Taylor tower of the functor V → BU(
From playlist HIM Lectures: Junior Trimester Program "Topology"
On Voevodsky's univalence principle - André Joyal
Vladimir Voevodsky Memorial Conference Topic: On Voevodsky's univalence principle Speaker: André Joyal Affiliation: Université du Québec á Montréal Date: September 11, 2018 For more video please visit http://video.ias.edu
From playlist Mathematics
MathZero, The Classification Problem, and Set-Theoretic Type Theory - David McAllester
Seminar on Theoretical Machine Learning Topic: MathZero, The Classification Problem, and Set-Theoretic Type Theory Speaker: David McAllester Affiliation: Toyota Technological Institute at Chicago Date: May 14, 2020 For more video please visit http://video.ias.edu
From playlist Mathematics
Calculus 1 Lecture 5.4 Part 6: Finding the Length of a Curve and The Surface Area of a Solid of Revolution.
From playlist Calculus 1 Playlist 2
Nicolas Behr - Categorification of Rule Algebras
Reporting on joint work in progress with P.-A. Melliès and N. Zeilberger, I will present a novel approach to formalize operations in compositional rewriting sys- tems wherein the number of ways to apply a rewrite is of interest. The approach is based upon defining a suitable double categor
From playlist Combinatorics and Arithmetic for Physics: Special Days 2022
Calculus 1 Lecture 5.4: Finding the Length of a Curve on a Plane
Calculus 1 Lecture 5.4: Finding the Length of a Curve on a Plane
From playlist Calculus 1 (Full Length Videos)