Pinned post

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

Pinned post

mathlogに投稿しました

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

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

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

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

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

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

表示名 boosted

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

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

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

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

え、私の首太すぎ?

表示名 boosted

Joyal invented the concept of a 'species' to formalize the idea of a structure that we can put on finite sets. A lot of combinatorics is about species! There's a species of partitions, a species of simple graphs, a species of 2-colorings, etc.:

en.wikipedia.org/wiki/Combinat

I'd like to talk about two species today: linear orderings and permutations. There are n! linear orderings of an n-element set, and also n! permutations. But they are not isomorphic as species!

(1/n)

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

表示名 boosted

\[
y’’=6y^2+x
\]
#intro I am a mathematician who is in love with Painlevé equations. My favourite one is plastered across my face in my photo and (hopefully) rendered above.

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

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

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

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

随伴$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}$は代数構造を忘れることによる函手なので、このアナロジーとして忘却函手のちゃんとした定義が得られることになる

表示名 boosted

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

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

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

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

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

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

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

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

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

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

Show older
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.