木曜日の 12:30

自分はけっこう圏論を使うほうだと思っていが、どうも甘いな、ダメだな。圏論使いになり切れてない。なんというか、ある種の遠慮、躊躇＜ためら＞い、照れ、とかがあるような気がする。「ここはまー、圏論持ちださなくてもいいだろう」「なにもそこまでやん…