幾何学から圏論に入った口だが、数学でならった圏論とはかなり隔たりがあると思うのは気のせいだろうか…