Covers categories, functors, and presheaf categories, exploring the relationships between objects and morphisms.
Introduces coproducts in category theory, exploring their properties, universality, and relationships with products.
Delves into direct sums of abelian groups, showcasing their coproduct properties and universal verification.
Covers the concepts of limits and colimits in the category of Topological Spaces, emphasizing the relationship between colimit and limit constructions and adjunctions.
Explores the properties of relations in computer science, including equivalence relations and the partition of a set.
