夏休み限定ってなんだったんだろう
夏休み限定で日記書くつもりだったけど別に限る必要もないなと思ったので書きたくなったら日記を書きます。
ずっと実家にいた友達が大学の講義が始まるから下宿先に戻ってきた。嬉しい。
なんと言ってもそいつの家にはテレビがある
金ローが見れる、今日はETだ。
それを楽しみに今日も生きてきた、少しずつの楽しみを待って生きていくのって一番モチベが持つ。あまりにでかい楽しみをずっと抱えてると終わった時の虚しさが違う。
ETは雰囲気で楽しんだ、ストーリーの整合性を求めたらヤバそうだったので脳の機能を止めて見てた。
感動したような気もする、過去に見た気がするが全く覚えていなかったし指先を合わせるシーンはなかった。
金ローっていいですよね、金曜日に映画を見れる
今は動画のサブサクで好きな時間に好きなものを見れるけど時間も見るものも決められて見る映画ってのもめちゃくちゃいい。集中力が違う、リアルタイムで見る良さだよな。
自由の楽しみって制約の上で成り立つんだな
GAFT
GAFTとは一般随伴関手定理(Generally Adjunction Functor Theorem)のこと、まず名前がかっこいい
題名にある通りにGAFTを示した、ベーシック圏論には付録として載っているので結局示すのは最後の最後になってしまった。
GAFTは知っているだけでも今後の人生に彩りを与える素晴らしい定理なのはまじで間違いない。
ステイトメントを書いておくと圏A,Bと
関手F:A→Bについて
Fが左随伴を持つ(つまり右随伴)ならば極限を保存するは成り立つ
しかしながら、極限を保存するならば左随伴を持つという矢印は厳しくてAは局所小圏で任意のb \in Bについてコンマ圏(b→F)が弱始対象的集合を待っていなければならない(言葉の定義については調べて欲しい)
この定理は代数の圏のほとんどの忘却関手は左随伴を持つことを保証する(代数の圏からの忘却関手は極限を保ちかつ代数の圏は局所小で弱始対象的集合を待つ、例えばGrp→Set , Vect_k → Setなど)つまり、任意の集合から多くの代数構造を入れれることを示している。しゅげぇ
きょうはそれを示たので満足!!!
お腹の調子
めちゃくちゃ久しぶりに書いた
本当に日記なんですか?
きょうは朝起きてからずっと寝てた気がする、あんまり記憶がない。
昼ごろから活動を始めた、活動っていっても数学なんだけども。
任意の小圏上の前層圏はカルテシアン閉であることを示そうとしてた、随伴の同型であることはいろいろなテクニックを使ったがわりかしすぐに示たが自然性がめちゃくちゃ難航した。
同型で最終的にどういう形になるのかを追っていくのがかなり大変だ、追うだけで3時間くらいかかったが同型の形は掴めたので一旦やめて友達ん家に行った。
少し遊んでからまた考え始めた、iPadでノートを取るようにしたから友達ん家でも気軽に計算できていい、投資した甲斐があった。
同型がどういう形かわかっても随伴の自然性を示すのにかなり難航した、わかった後から見ると一瞬だった…
鈍すぎ、まだ慣れてないんだなって感じ。
今度赤からの10からを食べる約束してわかれた、10からはまじで辛いだろうしぽんぽんぺいんもくると思うしその翌日のお尻も心配だ。
楽しみだ
引退
僕が期待してたVtuberが引退した
引退RTAとかで今日の昼くらいにTwitterでもトレンド入りしてたのを見た人もいるかもしれない。
引退RTAっていうのは企業所属のVtuberとして2週間で引退してしまったっていうことからきてる。
しかも配信は2週間前の初配信とその振り返りのみ…
メスガキキャラとして僕がめちゃくちゃ好きな感じだっただけにほんとに残念。
朝起きてTwitter見てだらだらしてるときに飛び込んできた"引退"の文字はまじで1日のやる気をなくしたし一日中何してても頭に浮かんできた
朝ごはんを食べてる時も、昼に数学者を進めてる時も、夕方に新聞の勧誘が来た時も(契約してしまった)、夜に風呂に入ってる時も浮かんできて仕方なかった。
明日も続くんだろうか。
むしろめちゃくちゃにハマる前でよかったものか…
今日は極限を保存する・創出することについての定義を知って色々考えた、そろそろ圏論の強いところである随伴関手定理まできそう!!!
エアコン、リモコン
つい昨日まで僕の家のエアコンのリモコンは弱いんだと思ってた
弱いというのはかなり本体に近寄らないとボタンを押しても反応しない上に液晶の映りがとても薄いから明るくないと設定が何度なのかわからないということで、とっても困ったさんだったのです。
僕はそれをそういうもんだと思ってずっと不便に思ってきたんですがついに昨日電池切れを迎えました。
それで電池を変えたのですがそしたらもうバキバキに強くて、液晶明るい!遠くからでも反応してくれる!すごい!
弱いと思ってたリモコンは実はしっかりしてて電池が少ないだけだった。
いずれかその事実には電池切れに必ずよって気付くのですが知らないだけでずっとリモコンが悪いのだと思ってたのは実に愚かだった。
物事は割と良いように受け取ろうと思って生きているがなかなかそんなことはできないんだなって思いました。
今日は米田埋め込みと米田の補題ががどんなことを示してるのかっていうことと、河田ホモ代を少しだけ進めました。
洗顔ネット
親に会うたびに顔が汚いと言われる。
洗顔をしっかりしろ、ということなので洗顔料を買ってしっかり洗うことにした。
しかし、洗顔料をそのまま手で広げて洗うのはよくないらしい、しっかり泡立ててからその泡で顔を洗うのが良いとのこと。
どうして泡がいいのか全くわからない、泡は空気が入ってる洗顔料のはずでそれが良いと言われる理由は全くわからないがとりあえずどこを調べてもそう書いてるので多分正しいと思う。
それに伴って洗顔ネットを買わなければならなかったのだが、それを渋ったぼくは洗顔料を陰毛を使って泡立てて使っていた。
なかなか泡立つ上に泡が細かい、百均の洗顔ネットなんかよりむしろ性能がいい。
そのせいもあり未だに洗顔ネットが買えていない。
進捗は集合論についてふれた、圏論によっても集合の基礎が作れるみたいなことの概略に触れた