To a topologist, a coffee cup and a donut are the same thing.
From playlist Algebraic Topology
Olivia Caramello - 2/4 ntroduction to categorical logic, classifying toposes...
Introduction to categorical logic, classifying toposes and the « bridge » technique Construction of classifying toposes for geometric theories. Duality between the subtoposes of the classifying topos of a geometric theory and the quotients of the theory. Transfer of topos‐the
From playlist Topos à l'IHES
Determining two angles that are supplementary
👉 Learn how to define and classify different angles based on their characteristics and relationships are given a diagram. The different types of angles that we will discuss will be acute, obtuse, right, adjacent, vertical, supplementary, complementary, and linear pair. The relationships
From playlist Angle Relationships From a Figure
Determining if two angles are adjacent or not
👉 Learn how to define and classify different angles based on their characteristics and relationships are given a diagram. The different types of angles that we will discuss will be acute, obtuse, right, adjacent, vertical, supplementary, complementary, and linear pair. The relationships
From playlist Angle Relationships From a Figure
Laurent Lafforgue - 3/4 Classifying toposes of geometric theories
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/LafforgueSlidesToposesOnline.pdf The purpose of these lectures will be to present the theory of classifying topose
From playlist Toposes online
Determining if two angles are supplementary
👉 Learn how to define and classify different angles based on their characteristics and relationships are given a diagram. The different types of angles that we will discuss will be acute, obtuse, right, adjacent, vertical, supplementary, complementary, and linear pair. The relationships
From playlist Angle Relationships From a Figure
Determining two angles that are complementary
👉 Learn how to define and classify different angles based on their characteristics and relationships are given a diagram. The different types of angles that we will discuss will be acute, obtuse, right, adjacent, vertical, supplementary, complementary, and linear pair. The relationships
From playlist Angle Relationships From a Figure
This talk will introduce participants to topological algorithms to compare time series data. Participants will come away with an understanding of the persistent homology algorithm, an understanding of the caveats of analyzing/comparing time series data, and an understanding of how to imple
From playlist Advanced Machine Learning
André JOYAL - 4/4 A crash course in topos theory : the big picture
I will sketch an overall picture of topos theory and of the theory of locales. It includes the notion of sheaf on a site, the notion of forcing topology, of geometric morphism and Giraud's theorem. A useful principle is that a topos is a commutative ring-like object. Every topos is a quoti
From playlist Topos à l'IHES
Akhil Mathew - Remarks on p-adic logarithmic cohomology theories
Correction: The affiliation of Lei Fu is Tsinghua University. Many p-adic cohomology theories (e.g., de Rham, crystalline, prismatic) are known to have logarithmic analogs. I will explain how the theory of the “infinite root stack” (introduced by Talpo-Vistoli) gives an alternate approach
From playlist Conférence « Géométrie arithmétique en l’honneur de Luc Illusie » - 5 mai 2021
CSE 519 -- Lecture 10, Fall 2020
From playlist CSE 519 -- Fall 2020
How to determine two acute adjacent angles from a figure
👉 Learn how to define and classify different angles based on their characteristics and relationships are given a diagram. The different types of angles that we will discuss will be acute, obtuse, right, adjacent, vertical, supplementary, complementary, and linear pair. The relationships
From playlist Angle Relationships From a Figure
Paul Arne Østvær: The motivic Hopf map and the homotopy limit problem for hermitian K theory
The lecture was held within the framework of the (Junior) Hausdorff Trimester Program Topology: "Workshop: Hermitian K-theory and trace methods" This is a report on joint work with Markus Spitzweck and Oliver Röndigs. We use the first Hopf map to solve the homotopy limit problem for K-the
From playlist HIM Lectures: Junior Trimester Program "Topology"
R. Bamler - Uniqueness of Weak Solutions to the Ricci Flow and Topological Applications 3
I will present recent work with Kleiner in which we verify two topological conjectures using Ricci flow. First, we classify the homotopy type of every 3-dimensional spherical space form. This proves the Generalized Smale Conjecture and gives an alternative proof of the Smale Conjecture, wh
From playlist Ecole d'été 2021 - Curvature Constraints and Spaces of Metrics
R. Bamler - Uniqueness of Weak Solutions to the Ricci Flow and Topological Applications 3 (vt)
I will present recent work with Kleiner in which we verify two topological conjectures using Ricci flow. First, we classify the homotopy type of every 3-dimensional spherical space form. This proves the Generalized Smale Conjecture and gives an alternative proof of the Smale Conjecture, wh
From playlist Ecole d'été 2021 - Curvature Constraints and Spaces of Metrics
Teena Gerhardt - 1/3 Algebraic K-theory and Trace Methods
Algebraic K-theory is an invariant of rings and ring spectra which illustrates a fascinating interplay between algebra and topology. Defined using topological tools, this invariant has important applications to algebraic geometry, number theory, and geometric topology. One fruitful approac
From playlist Summer School 2020: Motivic, Equivariant and Non-commutative Homotopy Theory
A viscous deformable drop in a linear flow by Sabarish V N
DISCUSSION MEETING FLUIDS DAY ORGANIZERS: Rama Govindarajan, Samriddhi Sankar Ray and Gaurav Tomar DATE : 20 January 2020 VENUE: Ramanujan Lecture Hall, ICTS Bangalore The fluid mechanics community in Bangalore has expanded enormously with different physics and engineering departments
From playlist Fluids Day 2020
Jürgen Jost (10/29/21): Geometry and Topology of Data
Topological data analysis asks when balls in a metric space (X, d) intersect. Geometric data analysis asks how much balls have to be enlarged to intersect. This is captured by a suitable concept of curvature. And curvature quantifies convexity.
From playlist Vietoris-Rips Seminar
André JOYAL - 2/4 A crash course in topos theory : the big picture
I will sketch an overall picture of topos theory and of the theory of locales. It includes the notion of sheaf on a site, the notion of forcing topology, of geometric morphism and Giraud's theorem. A useful principle is that a topos is a commutative ring-like object. Every topos is a quoti
From playlist Topos à l'IHES
François Petit (6/22/20): Ephemeral persistence modules and distance comparison
Title: Ephemeral persistence modules and distance comparison Abstract: Sheaf theoretic methods have been recently introduced to study persistent modules. Persistence homology studies filtered or multi-filtered topological spaces. The filtrations are indexed by the elements of an ordered
From playlist ATMCS/AATRN 2020