Isomorphism in CategoriesCovers the concept of isomorphism in categories, defining morphisms with inverses and exploring automorphisms and groupoids.
Introduction to CoproductsIntroduces coproducts in category theory, exploring their properties, universality, and relationships with products.