mathmathsugaku Profile Banner
アサイチ Profile
アサイチ

@mathmathsugaku

Followers
364
Following
5K
Media
6
Statuses
4K

数学が好きです。

Joined January 2025
Don't wanna be here? Send us removal request.
@mathmathsugaku
アサイチ
10 minutes
locally presentable categoryをやりたいねぇ。
0
0
0
@mathmathsugaku
アサイチ
1 hour
知らなきゃ面白さは分からないので知るか。
0
0
2
@mathmathsugaku
アサイチ
2 hours
曲を聞いたりするか〜
0
0
0
@mathmathsugaku
アサイチ
6 hours
数学をやりたければ、数学をやるべきか。
0
0
1
@mathmathsugaku
アサイチ
11 hours
記憶力が絶望的に無い。
0
1
0
@mathmathsugaku
アサイチ
11 hours
このアニメかなり面白い。こういうのが好き。
0
0
1
@mathmathsugaku
アサイチ
11 hours
幾何学凄いよなぁ。色んな道具使ってて楽しいね。
0
0
1
@mathmathsugaku
アサイチ
11 hours
荒川アンダーザブリッジ、物語シリーズすぎる(作画と主人公の声優だけだけど)
1
0
1
@mathmathsugaku
アサイチ
18 hours
シャフトめちゃくちゃ良い。
1
0
2
@mathmathsugaku
アサイチ
19 hours
幾何学をやりたい。具体的にはファイバー束とホモトピーを。
0
0
2
@mathmathsugaku
アサイチ
19 hours
俺もまた何か書きたいものだ。
0
0
2
@mathmathsugaku
アサイチ
19 hours
mathlogって素晴らしいね。
1
0
5
@mathmathsugaku
アサイチ
19 hours
一般に右随伴を持ち、その右随伴がfiltered colimitを保つならcompactな射は保たれるかな恐らく。
0
0
0
@mathmathsugaku
アサイチ
20 hours
小圏間の関手F:C→Dから左Kan拡張で得られる関手P(C)→P(D)はcompactな射を保つっぽいな。
1
0
0
@mathmathsugaku
アサイチ
22 hours
さらに有限表示加群上の有限表示加群の圏を考えることがあるんだ。
0
0
0
@mathmathsugaku
アサイチ
22 hours
加法圏上の加群の圏を考えるの凄い。
1
0
2
@mathmathsugaku
アサイチ
23 hours
証明した。まあ自明ではある。
0
0
1
@mathmathsugaku
アサイチ
23 hours
証明するか〜
1
0
1
@mathmathsugaku
アサイチ
23 hours
Setにおいてはκ-filtered colimitとκ-small limitが交換するの強い。
1
0
2
@mathmathsugaku
アサイチ
24 hours
重要かどうかは人によると思う。
0
0
0