やはり、大学1年の4月に圏論から教え込まないとダメだな