Homotopy theory | Simplicial sets
In algebraic topology, a simplicial homotopypg 23 is an analog of a homotopy between topological spaces for simplicial sets. If are maps between simplicial sets, a simplicial homotopy from f to g is a map such that the diagram (see [1]) formed by f, g and h commute; the key is to use the diagram that results in and for all x in X. (Wikipedia).
Homomorphisms in abstract algebra
In this video we add some more definition to our toolbox before we go any further in our study into group theory and abstract algebra. The definition at hand is the homomorphism. A homomorphism is a function that maps the elements for one group to another whilst maintaining their structu
From playlist Abstract algebra
An interesting homotopy (in fact, an ambient isotopy) of two surfaces.
From playlist Algebraic Topology
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
Introduction to Homotopy Theory- PART 1: UNIVERSAL CONSTRUCTIONS
The goal of this series is to develop homotopy theory from a categorical perspective, alongside the theory of model categories. We do this with the hope of eventually developing stable homotopy theory, a personal goal a passion of mine. I'm going to follow nLab's notes, but I hope to add t
From playlist Introduction to Homotopy Theory
Homotopy type theory: working invariantly in homotopy theory -Guillaume Brunerie
Short talks by postdoctoral members Topic: Homotopy type theory: working invariantly in homotopy theory Speaker: Guillaume Brunerie Affiliation: Member, School of Mathematics Date: September 26, 2017 For more videos, please visit http://video.ias.edu
From playlist Mathematics
Algebraic Topology - 11.3 - Homotopy Equivalence
We sketch why that the homotopy category is a category.
From playlist Algebraic Topology
Simplices and simplicial complexes | Algebraic Topology | NJ Wildberger
Simplices are higher dimensional analogs of line segments and triangle, such as a tetrahedron. We begin this lecture by discussing convex combinations and convex hulls, and showing a natural hierarchy from point to line segment to triangle to tetrahedron. Each of these also has a standard
From playlist Algebraic Topology
Invariant homotopy theory in the univalent foundations - Guillaume Brunerie
Topic: Invariant homotopy theory in the univalent foundations Speaker: Guillaume Brunerie, Member, School of Mathematics Time/Room: 4:00pm - 4:15pm/S-101 More videos on http://video.ias.edu
From playlist Mathematics
Stable Homotopy Seminar, 14: The stable infinity-category of spectra
I give a brief introduction to infinity-categories, including their models as simplicially enriched categories and as quasi-categories, and some categorical constructions that also make sense for infinity-categories. I then describe what it means for an infinity-category to be stable and h
From playlist Stable Homotopy Seminar
Homotopy elements in the homotopy group π₂(S²) ≅ ℤ. Roman Gassmann and Tabea Méndez suggested some improvements to my original ideas.
From playlist Algebraic Topology
Homotopy Category As a Localization by Rekha Santhanam
PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics
From playlist Dualities in Topology and Algebra (Online)
Simplicial Sets by Rekha Santhanam
PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics
From playlist Dualities in Topology and Algebra (Online)
Graham ELLIS - Computational group theory, cohomology of groups and topological methods 4
The lecture series will give an introduction to the computer algebra system GAP, focussing on calculations involving cohomology. We will describe the mathematics underlying the algorithms, and how to use them within GAP. Alexander Hulpke's lectures will being with some general computation
From playlist École d'Été 2022 - Cohomology Geometry and Explicit Number Theory
Higher Algebra 1: ∞-Categories
In this video, we introduce ∞-categories. This is the first of a series of videos towards a reasonably non-technical overview over stable ∞-categories and Higher Algebra, which are intended to be watchable independently from the main lecture. Further resources: M.Boardman and R.Vogt. Homo
From playlist Higher Algebra
Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3
HYBRID EVENT Recorded during the meeting "Logic and Interactions" the February 24, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual M
From playlist Topology
Stable Homotopy Seminar, 4: Model categories (Ivo Vekemans)
This talk by Ivo Vekemans is a thorough introduction to model categories, presenting: weak factorization systems; the definition of model category and major examples (simplicial sets, topological spaces, and chain complexes); notions of homotopy in a model category, and the homotopy catego
From playlist Stable Homotopy Seminar
Introduction To Complete Segal Spaces by Rekha Santhanam
PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics
From playlist Dualities in Topology and Algebra (Online)
A Youtuber's guide to discrete Morse theory [Nick Scoville]
Discrete Morse theory is a powerful tool combining ideas in both topology and combinatorics. Its applications are vast, including applications to topological data analysis, combinatorics, and computer science. In this lecture, we will develop the main ideas behind discrete Morse theory, i
From playlist Tutorial-a-thon 2021 Spring
Francesca Tombari (5/9/22): What's behind the homotopical decomposition of a simplicial complex
Decomposing a simplicial complex by taking a covering of its vertices does not necessarily preserves the homotopy type of the original one. Thus, there is no hope in general to retrieve the homotopy type of the Vietoris-Rips complex of a metric space, just by studying Vietoris-Rips complex
From playlist Bridging Applied and Quantitative Topology 2022
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