Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Commutative diagram

Related lectures (31)

Algebraic Kunneth Theorem

Covers the Algebraic Kunneth Theorem, explaining chain complexes and cohomology computations.

Associative Operations: Fundamentals

Covers associative and commutative operations in parallel programming, using mathematical examples and discussing challenges in preserving associativity.

Quotients de groupe: Un cas particulier

Explores a categorical perspective on group quotients, focusing on a specific case.

The Topological Künneth Theorem

Explores the topological Künneth Theorem, emphasizing commutativity and homotopy equivalence in chain complexes.

Set Union: Properties and Operations

Explains the union of sets, its properties, operations, and intersection.

Construction of Free Action Functor

Explores the construction of the free action functor and its equivariance.

Auxiliary Assertions in Stainless

Showcases the use of assertions in Stainless to prove properties of fractions.

Natural Transformations: Definition

Covers the definition and properties of natural transformations between functors in category theory.

Proof of Existence

Explores morphisms in group theory, focusing on proving their existence and uniqueness through mathematical reasoning.

Intersection: Set Operations

Introduces set intersection, its properties, and its relation to arithmetic operations.

Natural Transformations in Group Theory

Introduces natural transformations in group theory and category theory, emphasizing their definition and significance.

Cofibrations: Extension Property and Recognition Principle

Explores the extension property of spaces and the recognition principle for cofibrations.

Natural Numbers: Properties and Operations

Explores natural numbers, their properties, operations, and practical applications like calculating hours in a year.

The Five Lemma

Covers the Five Lemma, a fundamental result in exact sequences theory.

Natural Numbers

Covers the concept of natural numbers, including properties like commutativity and associativity.

Operations in Z

Covers addition properties and operations in the set of integers Z.

Triangular Identities

Covers triangular identities, natural transformations, commutative diagrams, and adjunction notation in group and category theory.

Proof of Uniqueness

Explores the proof of uniqueness in coproducts through commutativity and universal properties.

Cohomology Real Projective Space

Covers cohomology in real projective spaces, focusing on associative properties and algebraic structures.

Mutually Inverse Alpha and Beta

Explores adjunctions and mutual inverses alpha and beta in category theory.