applied category theory/class
Show big chart of semi groups monoids alongside category representations at beginning as an overview of what abstraction category provides