Categories on Thomas Ott dot IO