数学嫌いの人のための動画や、圏論の新しいソフトパッケージが公開されています。

How does maths influence our everyday life? – with Eugenia Chengというタイトルの動画が公開されました。
https://youtu.be/_FNpKjs0Va0?si=JkICJpPHEqjh4zeC
これはRoyal Institutionでたびたび講演しているChengさんの最新動画です。彼女の新刊 Is Maths Real? How Simple Questions Lead Us to Mathematics’ Deepest Truthsの紹介を兼ねた講演です。

Chengさんの圏論の入門動画は以前紹介しました。以下の記事でChenさんについても簡単に紹介していますのでご覧ください。

圏論Category Theoryの英語の入門講演を紹介します。

圏論と言えば、圏論の無料ソフトが公開されています。Wolfram Languageで動くものでMathematicaなどから使えるようです。こちらにどんなことができるかなどが書いてあるプレプリントがありますので、興味のある方はご覧ください。

Applied Category Theory in the Wolfram Language using Categorica I: Diagrams, Functors and Fibrations
Jonathan Gorard
https://arxiv.org/abs/2403.16269
著者のツイートはこちら。https://nitter.poast.org/getjonwithit
Categorikaのコードが公開されている彼のGitHubはこちらです。https://github.com/JonathanGorard
Gorardさんは、Wolfram Physics Projectの主要な研究メンバーで、新しい枠組みで一般相対性理論や量子力学などを再構成している人です。万物の理論の一つであるWolfram Physicsにも注目してみると面白いかもしれません。