「圏論の基礎」と格闘中…
こういう話に追いつけるのはいつになることやら。