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
The dependent product as universal construction
In this video I elaborate on the general arrow theoretic characterization of dependent product (or the dependent product functor) that exists in a Cartesian closed category. This is the dependent product that gives dependent product types its name, and it arises in concrete cases in geomet
From playlist Logic
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
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
Categories 5 Limits and colimits
This lecture is part of an online course on category theory. We define limits and colimits of functors, and show how various constructions (products, kernels, inverse limits, and so on) are special cases of this. We also describe how adoint functors preserve limits or colimits. For the
From playlist Categories for the idle mathematician
Simplify rational expression using the rules of exponents
👉 Learn how to simplify expressions using the quotient rule of exponents. The quotient rule of exponents states that the quotient of powers with a common base is equivalent to the power with the common base and an exponent which is the difference of the exponents of the term in the numerat
From playlist Simplify Using the Rules of Exponents | Quotient Rule
In this video I talk about a beautiful family of adjoint functors between module categories, and how these offer a natural inspiration for the definitions of induced representation, and Frobenius reciprocity.
From playlist Miscellaneous Questions
Simplify the Expression with Variable Exponents by using the Properties of Exponents
Simplify the Expression with Variable Exponents by using the Properties of Exponents If you enjoyed this video please consider liking, sharing, and subscribing. Udemy Courses Via My Website: https://mathsorcerer.com My FaceBook Page: https://www.facebook.com/themathsorcerer There are s
From playlist Simplifying Expressions with Exponents
Simplify an expression by applying the power to quotient rule of exponents
👉 Learn how to simplify expressions using the power rule of exponents. When several terms of an expression is raised to an exponent outside the parenthesis, the exponent is distributed over the individual terms in the expression and the exponent outside the parenthesis is multiplied to eac
From playlist Simplify Using the Rules of Exponents
Shadows of Computation - Lecture 6 - The line is part of a circle
Welcome to Shadows of Computation, an online course taught by Will Troiani and Billy Snikkers, covering the foundations of category theory and how it is used by computer scientists to abstract computing systems to reveal their intrinsic mathematical properties. In the sixth lecture Will sp
From playlist Shadows of Computation
Modular Perverse Sheaves on the affine Flag Variety - Laura Rider
Virtual Workshop on Recent Developments in Geometric Representation Theory Topic: Modular Perverse Sheaves on the affine Flag Variety Speaker: Laura Rider Affiliation: University of Georgia Date: November 16, 2020 For more video please visit http://video.ias.edu
From playlist Virtual Workshop on Recent Developments in Geometric Representation Theory
Higher algebra 4: Derived categories as ∞-categories
In this video, we construct the ∞-categorical refinement of the derived category of an abelian category. This is the fourth video in our introduction to ∞-categories and Higher Algebra. Feel free to post comments and questions at our public forum at https://www.uni-muenster.de/TopologyQA
From playlist Higher Algebra
The Derived Geometric Satake Equivalence of Bezrukavnikov and Finkelberg - Jize Yu
Geometric and Modular Representation Theory Seminar Topic: The Derived Geometric Satake Equivalence of Bezrukavnikov and Finkelberg Speaker: Jize Yu Affiliation: Member, School of Mathematics Date: November 4, 2020 For more video please visit http://video.ias.edu
From playlist Seminar on Geometric and Modular Representation Theory
Étale cohomology lecture 5 - 9/3/2020
Fppf descent part 2, intro to the category of sheaves
From playlist Étale cohomology and the Weil conjectures
Charles Rezk - 4/4 Higher Topos Theory
Course at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/RezkNotesToposesOnlinePart4.pdf In this series of lectures I will give an introduction to the concept of "infinity
From playlist Toposes online
David Ayala: Factorization homology (part 3)
The lecture was held within the framework of the Hausdorff Trimester Program: Homotopy theory, manifolds, and field theories and Introductory School (8.5.2015)
From playlist HIM Lectures 2015
Ind and Pro Categories Associated to a Category
This is super basic. I ripped this off of ncatlab, one of the best websites on the planet.
From playlist Category Theory
Learn the basics for simplifying an expression using the rules of exponents
👉 Learn how to simplify expressions using the quotient rule of exponents. The quotient rule of exponents states that the quotient of powers with a common base is equivalent to the power with the common base and an exponent which is the difference of the exponents of the term in the numerat
From playlist Simplify Using the Rules of Exponents | Quotient Rule
Étale cohomology lecture IV - 9/1/2020
Morphisms of sites, fppf descent part 1
From playlist Étale cohomology and the Weil conjectures