Category theory

Isomorphism-closed subcategory

In category theory, a branch of mathematics, a subcategory of a category is said to be isomorphism closed or replete if every -isomorphism with belongs to This implies that both and belong to as well. A subcategory that is isomorphism closed and full is called strictly full. In the case of full subcategories it is sufficient to check that every -object that is isomorphic to an -object is also an -object. This condition is very natural. For example, in the category of topological spaces one usually studies properties that are invariant under homeomorphisms—so-called topological properties. Every topological property corresponds to a strictly full subcategory of (Wikipedia).

Video thumbnail

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

Video thumbnail

Isomorphic Graphs

This video defines and gives and example of isomorphic graphs. mathispower4u.com

From playlist Graph Theory (Discrete Math)

Video thumbnail

GT9. Group Isomorphisms

Abstract Algebra: In analogy with bijections for sets, we define isomorphisms for groups. We note various properties of group isomorphisms and a method for constructing isomorphisms from onto homomorphisms. We also show that isomorphism is an equivalence relation on the class of groups.

From playlist Abstract Algebra

Video thumbnail

23 Algebraic system isomorphism

Isomorphic algebraic systems are systems in which there is a mapping from one to the other that is a one-to-one correspondence, with all relations and operations preserved in the correspondence.

From playlist Abstract algebra

Video thumbnail

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

Video thumbnail

Abstract Algebra | Group Isomorphisms

We give the definition of an isomorphism between groups and provide some examples. http://www.michael-penn.net http://www.randolphcollege.edu/mathematics/

From playlist Abstract Algebra

Video thumbnail

Isomorphisms (Abstract Algebra)

An isomorphism is a homomorphism that is also a bijection. If there is an isomorphism between two groups G and H, then they are equivalent and we say they are "isomorphic." The groups may look different from each other, but their group properties will be the same. Be sure to subscribe s

From playlist Abstract Algebra

Video thumbnail

M-Cellular Approximations (Lecture-3) by Srikanth Iyengar

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)

Video thumbnail

Thick And Localising Subcategories Of Derived Categories (Lecture-2) by Srikanth Iyengar

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)

Video thumbnail

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

Video thumbnail

Quiver moduli and applications, Markus Reineke (Bochum), Lecture 3

Quiver moduli spaces are algebraic varieties encoding the continuous parameters of linear algebra type classification problems. In recent years their topological and geometric properties have been explored, and applications to, among others, Donaldson-Thomas and Gromov-Witten theory have

From playlist Felix Klein Lectures 2020: Quiver moduli and applications, Markus Reineke (Bochum)

Video thumbnail

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

Video thumbnail

Greg Stevenson: Tensor triangular geometry - Lecture 2

Tensor triangular geometry asks us to think of symmetric monoidal triangulated categories like rings, and in return provides us with an analogue of affine algebraic geometry. With this analogy in mind I'll introduce the general theory: starting with an essentially small symmetric monoidal

From playlist Summer School: Spectral methods in algebra, geometry, and topology

Video thumbnail

Dave Benson: Spectral methods in the representation theory of finite groups - Lecture 3

My intention is to develop the cohomology theory of finite groups and use it to discuss the stable module category and the homotopy category of complexes of injective modules, and to relate them to the modules over cochains on the classifying space. This video is part of a series of lectu

From playlist Summer School: Spectral methods in algebra, geometry, and topology

Video thumbnail

Connections between classical and motivic stable homotopy theory - Marc Levine

Marc Levine March 13, 2015 Workshop on Chow groups, motives and derived categories More videos on http://video.ias.edu

From playlist Mathematics

Video thumbnail

Winter School JTP: Introduction to A-infinity structures, Bernhard Keller, Lecture 3

In this minicourse, we will present basic results on A-infinity algebras, their modules and their derived categories. We will start with two motivating problems from representation theory. Then we will briefly present the topological origin of A-infinity structures. We will then define and

From playlist Winter School on “Connections between representation Winter School on “Connections between representation theory and geometry"

Video thumbnail

Graph Theory: Isomorphisms and Connectedness

This video is about isomorphisms between graphs and connectedness of graphs.

From playlist Basics: Graph Theory

Video thumbnail

Lecture 6: HKR and the cotangent complex

In this video, we discuss the cotangent complex and give a proof of the HKR theorem (in its affine version) Feel free to post comments and questions at our public forum at https://www.uni-muenster.de/TopologyQA/index.php?qa=tc-lecture Homepage with further information: https://www.uni-m

From playlist Topological Cyclic Homology

Video thumbnail

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

Related pages

Subcategory | Category of topological spaces | Homeomorphism | Topological property | Category (mathematics) | Isomorphism