Kümelerde sadece elemanları vardır, kategorilerdeyse hem elemanlar, hem de bu elemanlar arasındaki ilişkiler. Matematik günümüzde hep küme tabanlı öğretilse de, 1940’larda ortaya atılan kategoriler gün geçtikçe daha çok matematikçinin araştırmalarında kullandığı bir yapı. Bu etkinlikte kümelerden daha zengin olan kategorilerle çalışmayı öğreneceğiz.