Touch of category theory