新たな一歩に向ける一冊「圏論の歩き方」レビュー
日本評論社、圏論の歩き方委員会編の「圏論の歩き方」を読んだ。よくある一般向けの啓蒙書かと思っていたが、目次を見れば明らかなように、むしろガチ寄りの、それでいてタイトルに偽りのない内容だった。一通り挙げるとすると
タングルの圏に始まる量子不変量の話から、モナドによる計算効果のモデル化、圏論的意味論、量子論と淡中・クレイン双対性、ヤヌス対象を通じて論じられる代数と空間の双対性、(カルテシアン圏を超えて)モノイダル圏における圏論的論理と証明の意味論の唯一性、圏論の本としてむしろベーシックなホモロジー代数やアーベル圏の話、対称群のモジュラー表現を通した圏論化(decategorification)の解説、そしてネットワークの二つの側面をKan拡張で表す話……。
ともかく圏論をより深く学ぶための「歩き方」である。圏論を通じて、色々な分野の問題意識や主要な結果、将来の展望が紹介されている。もちろん個々の内容に深入りはしない。あくまで基本的な知識から概要を攫う程度だが、そうはいっても難易度は決して易しくはない。この本で圏論を学ぶというよりは、ある程度圏論の講義を受けたうえで、副読本として活用するのがよいだろう。上記の単語を少しでも耳にしたことがあるなら、それがどんな内容なのか圏論的な位置付けをもって理解できると思う。一つ一つを学ぶのはハードだが、歩き方を知っていればその一助となるはずだ。
twitterで検索できない問題について
twitterが改悪されました(定期)
昨日くらいからログインしないと検索ができなくなりました。トレンドも見れなくなりました。以前のようにcookieのブロックでは対処できません。
実は少し前から18+の投稿に関するAPIが変更になっており、割と抜け道が多かったのが厳格になり、認証が必須となりました。秘密裏にエッチなアカウントとかを見ていた人には悲報です。あっそこの貴方、まだパンツはまだ脱いだままで大丈夫です。エッチな投稿だけなら別に構わないですが、18+はそれだけではないので普通に困ります。例えばウクライナの最前線の映像とかも含まれるからです。
これが意図的なものかどうかは議論の余地があります。正常な動作ではないっぽいので、バグならそのうち直るかもしれません。ログインせず閲覧する使い方が普通ではないので、そもそも開発に問題として上がってない可能性もありますが。
イーロン以前のトレンド操作みたいな感覚は薄いのでそこはいい感じですが、BANされるアカウントが増えているのも事実なので予断を許さない状況が続いています。SNSとして本邦では広まり過ぎており、公的にも重要度が高いプラットフォームなので、なるべく健全な運営をして欲しいものです。
代替としては最近話題のmisskey、以前から紹介し自分も普段活動してるmastodon、matrixなどのfediverseを利用してみるのも良いかもしれません。そこでは自分が見たいものを選んで見ることができるので、バズったりはし辛いですが、他人にコントロールされることは無いです。法律の範囲内であれば、ですが。
さて話を戻すと、検索の件については一応対処する方法が無いわけではないです。具体的には憚られるので書かないですが、いい感じに調べて自分で何とかして下さい。18+の投稿も一応見れます。頑張って生きましょう。