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
Visual Group Theory, Lecture 4.1: Homomorphisms and isomorphisms
Visual Group Theory, Lecture 4.1: Homomorphisms and isomorphisms A homomoprhism is function f between groups with the key property that f(ab)=f(a)f(b) holds for all elements, and an isomorphism is a bijective homomorphism. In this lecture, we use examples, Cayley diagrams, and multiplicat
From playlist Visual Group Theory
Category Theory 2.2: Monomorphisms, simple types
Monomorphisms, simple types.
From playlist Category Theory
Group Isomorphisms in Abstract Algebra
Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Group Isomorphisms in Abstract Algebra - Definition of a group isomorphism and isomorphic groups - Example of proving a function is an Isomorphism, showing the group of real numbers under addition is isomorphic to the group of posit
From playlist Abstract Algebra
Group Homomorphisms - Abstract Algebra
A group homomorphism is a function between two groups that identifies similarities between them. This essential tool in abstract algebra lets you find two groups which are identical (but may not appear to be), only similar, or completely different from one another. Homomorphisms will be
From playlist Abstract Algebra
Categories 6 Monoidal categories
This lecture is part of an online course on categories. We define strict monoidal categories, and then show how to relax the definition by introducing coherence conditions to define (non-strict) monoidal categories. We finish by defining symmetric monoidal categories and showing how super
From playlist Categories for the idle mathematician
Group Homomorphisms and the big Homomorphism Theorem
This project was created with Explain Everything™ Interactive Whiteboard for iPad.
From playlist Modern Algebra
Homomorphisms in abstract algebra examples
Yesterday we took a look at the definition of a homomorphism. In today's lecture I want to show you a couple of example of homomorphisms. One example gives us a group, but I take the time to prove that it is a group just to remind ourselves of the properties of a group. In this video th
From playlist Abstract algebra
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
Selection at linked sites by Kavita Jain
DISCUSSION MEETING SECOND PREPARATORY SCHOOL ON POPULATION GENETICS AND EVOLUTION ORGANIZERS Deepa Agashe (NCBS-TIFR, India) and Kavita Jain (JNCASR, India) DATE: 20 February 2023 to 24 February 2023 VENUE Madhava Lecture Hall, ICTS Bengaluru We plan an intensive 1-week preparatory school
From playlist SECOND PREPARATORY SCHOOL ON POPULATION GENETICS AND EVOLUTION
Topoi 3: The definition of a topos
This is video number 3 in the series defining topoi. Here's the updated text used in the video: https://gist.github.com/Nikolaj-K/469b9ca1c085ea4ac4e3d7d0008913f5 Fourth video on Power and Negation in a topos: https://youtu.be/dvXRQI8RonY
From playlist Algebra
Isomorphisms in abstract algebra
In this video I take a look at an example of a homomorphism that is both onto and one-to-one, i.e both surjective and injection, which makes it a bijection. Such a homomorphism is termed an isomorphism. Through the example, I review the construction of Cayley's tables for integers mod 4
From playlist Abstract algebra
Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2
HYBRID EVENT Recorded during the meeting "Logic and Interactions" the February 22, 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
Polygenic Adaptation by Kavita Jain
DISCUSSION MEETING SECOND PREPARATORY SCHOOL ON POPULATION GENETICS AND EVOLUTION ORGANIZERS Deepa Agashe (NCBS-TIFR, India) and Kavita Jain (JNCASR, India) DATE: 20 February 2023 to 24 February 2023 VENUE Madhava Lecture Hall, ICTS Bengaluru We plan an intensive 1-week preparatory school
From playlist SECOND PREPARATORY SCHOOL ON POPULATION GENETICS AND EVOLUTION
Georg Biedermann - Higher Sheaves
Talk at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Joint work with Mathieu Anel, Eric Finster, and André Joyal Even though on the surface the theories look similar, there are basic differences between the classical theory of 1-t
From playlist Toposes online
Shadows of Computation - Lecture 3 - The gap between equivalent concepts
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 third lecture Will sp
From playlist Shadows of Computation
Charles Rezk - 3/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/RezkNotesToposesOnlinePart3.pdf In this series of lectures I will give an introduction to the concept of "infinity
From playlist Toposes online
This lecture is part of an online course on Category theory This is the introductory lecture, where we give a few examples of categories and define them. The lectures were originally part of a graduate algebra course, and give a quick overview of the basic category theory that is useful
From playlist Categories for the idle mathematician
302.3A: Review of Homomorphisms
A visit to the homomorphism "zoo," including definitions of mono-, epi-, iso-, endo-, and automorphisms.
From playlist Modern Algebra - Chapter 17 (group homomorphisms)