In topology, a branch of mathematics, Quillen's Theorem A gives a sufficient condition for the classifying spaces of two categories to be homotopy equivalent. Quillen's Theorem B gives a sufficient condition for a square consisting of classifying spaces of categories to be . The two theorems play central roles in Quillen's Q-construction in algebraic K-theory and are named after Daniel Quillen. The precise statements of the theorems are as follows. Quillen's Theorem A — If is a functor such that the classifying space of the comma category is contractible for any object d in D, then f induces a homotopy equivalence . Quillen's Theorem B — If is a functor that induces a homotopy equivalence for any morphism , then there is an induced long exact sequence: In general, the homotopy fiber of is not naturally the classifying space of a category: there is no natural category such that . Theorem B constructs in a case when is especially nice. (Wikipedia).
In this video, I prove Rolle’s theorem, which says that if f(a) = f(b), then there is a point c between a and b such that f’(c) = 0. This theorem is quintessential in proving the mean-value theorem in Calculus. Along the way I prove Fermat’s theorem, which says that if f has a maximum/mini
From playlist Real Analysis
Calculus - The Fundamental Theorem, Part 1
The Fundamental Theorem of Calculus. First video in a short series on the topic. The theorem is stated and two simple examples are worked.
From playlist Calculus - The Fundamental Theorem of Calculus
Calculus 2.7c - Some Comments on the theorem
Some comments on the Intermediate Value Theorem
From playlist Calculus Chapter 2: Limits (Complete chapter)
Calculus - The Fundamental Theorem, Part 3
The Fundamental Theorem of Calculus. Specific examples of simple functions, and how the antiderivative of these functions relates to the area under the graph.
From playlist Calculus - The Fundamental Theorem of Calculus
The Fundamental Theorem of Calculus | Algebraic Calculus One | Wild Egg
In this video we lay out the Fundamental Theorem of Calculus --from the point of view of the Algebraic Calculus. This key result, presented here for the very first time (!), shows how to generalize the Fundamental Formula of the Calculus which we presented a few videos ago, incorporating t
From playlist Algebraic Calculus One
The Mean Value Theorem From Calculus Explanation and Example of Finding c
Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys The Mean Value Theorem From Calculus Explanation and Example of Finding c
From playlist Calculus 1 Exam 2 Playlist
The Quillen Determinant Bundle and Geometric Quantization of Various Moduli Spaces by Rukmini Dey
Higgs bundles URL: http://www.icts.res.in/program/hb2016 DATES: Monday 21 Mar, 2016 - Friday 01 Apr, 2016 VENUE : Madhava Lecture Hall, ICTS Bangalore DESCRIPTION: Higgs bundles arise as solutions to noncompact analog of the Yang-Mills equation. Hitchin showed that irreducible solutio
From playlist Higgs Bundles
Constructive Type Theory and Homotopy - Steve Awodey
Steve Awodey Institute for Advanced Study December 3, 2010 In recent research it has become clear that there are fascinating connections between constructive mathematics, especially as formulated in the type theory of Martin-Löf, and homotopy theory, especially in the modern treatment in
From playlist Mathematics
Divisibility Proof with the Sorcerer: a|b and a|c implies a|(b + c)
Divisibility Proof with the Sorcerer: a|b and a|c implies a|(b + c)
From playlist Number Theory
Algebraic K-Theory Via Binary Complexes - Daniel Grayson
Daniel Grayson University of Illinois at Urbana-Champaign; Member, School of Mathematics October 22, 2012 Quillen's higher K-groups, defined in 1971, paved the way for motivic cohomology of algebraic varieties. Their definition as homotopy groups of combinatorially constructed topolo
From playlist Mathematics
Proving an Equation has a Solution using the Intermediate Value Theorem
Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Proving an Equation has a Solution using the Intermediate Value Theorem
From playlist Calculus
Jennifer WILSON - High dimensional cohomology of SL_n(Z) and its principal congruence subgroups 2
Group cohomology of arithmetic groups is ubiquitous in the study of arithmetic K-theory and algebraic number theory. Rationally, SL_n(Z) and its finite index subgroups don't have cohomology above dimension n choose 2. Using Borel-Serre duality, one has access to the high dimensions. Church
From playlist École d'Été 2022 - Cohomology Geometry and Explicit Number Theory
Lie Algebras and Homotopy Theory - Jacob Lurie
Members' Seminar Topic: Lie Algebras and Homotopy Theory Speaker: Jacob Lurie Affiliation: Professor, School of Mathematics Date: November 11, 2019 For more video please visit http://video.ias.edu
From playlist Mathematics
Homotopy Group - (1)Dan Licata, (2)Guillaume Brunerie, (3)Peter Lumsdaine
(1)Carnegie Mellon Univ.; Member, School of Math, (2)School of Math., IAS, (3)Dalhousie Univ.; Member, School of Math April 11, 2013 In this general survey talk, we will describe an approach to doing homotopy theory within Univalent Foundations. Whereas classical homotopy theory may be des
From playlist Mathematics
Masoud Khalkhali: Curvature of the determinant line bundle for noncommutative tori
I shall first survey recent progress in understanding differential and conformal geometry of curved noncommutative tori. This is based on work of Connes-Tretkoff, Connes-Moscovici, and Fathizadeh and myself. Among other results I shall recall the computation of spectral invariants, includi
From playlist HIM Lectures: Trimester Program "Non-commutative Geometry and its Applications"
http://mathispower4u.wordpress.com/
From playlist The Properties of Functions
Univalent Foundations Seminar - Steve Awodey
Steve Awodey Carnegie Mellon University; Member, School of Mathematics November 19, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Ex: Function Arithmetic - Determine Function Values from a Table
This video explains how to find the sum, difference, product, and quotient of two functions using the graphs of the two functions. Site: http://mathispower4u.com
From playlist The Properties of Functions
Charles Weibel: K-theory of algebraic varieties (Lecture 4)
The lecture was held within the framework of the Hausdorff Trimester Program: K-Theory and Related Fields. Lecture 4 will survey computations for regular rings and smooth varieties. This includes motivic-to-K-theory methods, étale cohomology and regulators.
From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"