$\mathscr{N}_{yoho}$ @Nyoho@mathtod.online

This Mastodon server #Mathtodon has many Japanese users on site, but of course we welcome any language speakers. Math topics, math-related gags, and chit-chat are all welcome.

Ce serveur Mastodon #Mathtodon compte de nombreux utilisateurs japonais, mais nous accueillons bien sûr tous les locuteurs de langues. Les sujets mathématiques, les gags liés aux mathématiques et le bavardage sont tous les bienvenus.

6年前のTwitterネタ。

にそくのわらじ
は
自転車のようにギアチェンジして登坂性能を切り替えられる草鞋
ではない。

$\rho$が指標だと既知で，Immanantというそうです．指標はヤング図形（つまり$n$の分割）でパラメトライズされるので，分割に対して決まる量として↓に出てました：
https://en.wikipedia.org/wiki/Immanant

People are talking here about how they "see" presheaves.

Here is how I see them. Suppose you are working in a category C and you want to add a new object X to it.

Then, in particular, you need to say what the hom sets hom(A,X), for A in C, are.

Moreover, you need to say how you would like to compose old morphisms with the morphisms you have added.

And doing all that above amounts precisely to defining a functor C^op -> Set.

A functor C^op -> Set can be seen as a new, added object to C.

In the presheaf category, you add all possible new objects.

(No wonder it gets too large if the starting category is large. You add every imaginable new object.)

線形代数授業でこういう演習問題を出したら 5.2 がほぼ全滅。前回授業で基本行列やって、しかも open book だったんだけどなぁ。

9元連立1次方程式を立てようと試みたらしい答案もちらほら。

この動画すごいな。YouTubeの再生回数の仕組みを説明してるんだけど、そのなかで言及のある「再生回数が301回を堺に（一時的に）増加をやめる現象」をこの動画自体が自己言及してる。高評価数は300万を超えてるのに、再生回数は301回から増えないようになってる。Googleのノリが良すぎる。

https://youtu.be/oIkhgagvrjI