Introduction to CoproductsIntroduces coproducts in category theory, exploring their properties, universality, and relationships with products.
Direct Sums: Lemme 1.2Delves into direct sums of abelian groups, showcasing their coproduct properties and universal verification.
Active Learning SessionExplores natural transformations in group theory and category theory, emphasizing functor composition and morphism composition.
