春休み中の勉強の途中成果?「春休み中の勉強の途中成果を披露に来てください」と言われてたのに披露できるレベルに達していなかったので、わりと戦々恐々としてたのだけど、結局は雑談。Nonsense」とか、数学のプラットフォーム争いとかの与太話だったりする。なんか数学のプラットフォーム争いって、どっかの言語戦争とかエディタ戦争に似てる気が......直和と直積ってカテゴリ論だと双対的なんだね。それから、射が写像でない圏というのも順序関係の圏という例でなるほどと思った。カテゴリは幾つかの見方があるみたいだけど、個人的には代数的な面を中心に見ていきたいかな。竹内君って誰かと思ったら彼か。1.6で扱えなくなってしまった。