Saya mau tau Lihat pula dari Fungtor

WildCats  is a category theory package for Mathematica. Manipulation and visualization of objects, morphisms, categories, functors, natural transformations, universal properties.

The catsters , a YouTube channel about category theory.

Video archive  of recorded talks relevant to categories, logic and the foundations of physics.

Interactive Web page which generates examples of categorical constructions in the category of finite sets.