圏論って、数学の中でも特殊で、応用から離れた「純粋圏論」は大して中身がない。
だから圏論スレが応用中心の話題になるのは健全なことだと思う