表示名 @mathmathniconico@mathtod.online

ファジィ論理によるカルバック・ライブラー情報量の特徴付けをしたかった話
https://mathlog.info/articles/2866

mathlogに投稿しました

圏論に元を取り戻そう
https://mathlog.info/articles/2557

高評価、コメント、待ってます

Gがひっくり返ってのたうってたのでもう寝ます。クモ君、朝までに宜しく頼む

般若心経にだいたい書いてあるからオススメ

https://twitter.com/tooooottttteeee/status/1596469875543003136
\[ \sqrt{ab}\lt\frac{b-a}{\log b-\log a}\lt\frac{a+b}{2} \]

$\log x$に接線引いて四角形と三角形を積分と比較が楽か？

わしも金色バッジ欲しいと思ったが企業向けだった

違うぞイーロン。金色は個人向けに取っておくべきだ

空集合の上限として最小元がいるのが肝

イラストとかでヘッドホン首にかけてるのあるけどさ、普通に首絞まらね？

え、私の首太すぎ？

パンルヴェ方程式って四天王感あるよな。第六まであるけど

アルティンのガロア理論そのうち読みたいんだよな

面白い人を探してフォローしまくって面白いホームを作れる己の面白さを要求してくるのがマストドン

そして面白い人も常に面白いとは限らないので、面白い人の面白くない部分も許容できる懐の広さも要求してくるのがマストドン

一方で面白くない部分を見せることで逆に委縮せず自分が面白いと思ったことを発信していく図太さも要求してくるのがマストドン

随伴$F\dashv G\colon D\to C$が定めるモナド$T=GF$についてKleisli圏$C_{T}$とEilenberg-Moore圏$C^{T}$の間に$C$と可換な$C_{T}\to D\to C^{T}$があるという比較定理まで読んだ

随伴がmonadicとは比較の右側が圏同値$D\simeq C^{T}$ということ。従って$G\colon D\to C$は$R^{T}\colon C^{T}\to C$と同一視できる。$R^{T}$は代数構造を忘れることによる函手なので、このアナロジーとして忘却函手のちゃんとした定義が得られることになる

ブルアカくんさぁ、古のflashで15パズルは鍛えたからな、余裕なんよ

というかメインストーリー更新とはいえアクション有りの10分アニメを作るとか正気か？　EDで歌まで歌っちゃって…何人出演させたんだ？　アクナイで忙しいんじゃなかったのか？　一体いくら使った？

濃度はほぼ$\vert X \vert$だなぁ

冪は悩ましい。$0=\emptyset, 1=\lbrace \ast \rbrace, 2=\lbrace T, F \rbrace$が重要という観点から$2^{X}$も良いが、肩に乗せるのは重く$PX$が手軽

Busbyのmultiplier algebraが昔から気になってたの思い出して検索したらちょうどこんなのが出てきた
https://twitter.com/IsomorphicPhi/status/1593888277995495424

Rng->Ringの随伴になるらしい

$k$代数版、Cstar代数版、他にも色々ありそう

たぶんモナドとも関係あるよな

建築とかで応用効きそう

pawooとfedibirdあたりにも垢持っといてもいいかもしれん。前者はえっちな絵をフォローするため、後者は美味そうなカレーを見るために

タイプされた数式は手書きとまた違うので、思考が整理されたりする