アサイチ @mathmathsugaku X 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

アサイチ

@mathmathsugaku

1 hour

知らなきゃ面白さは分からないので知るか。

0

2

アサイチ

@mathmathsugaku

2 hours

曲を聞いたりするか〜

0

アサイチ

@mathmathsugaku

6 hours

数学をやりたければ、数学をやるべきか。

0

1

アサイチ

@mathmathsugaku

11 hours

記憶力が絶望的に無い。

0

1

0

アサイチ

@mathmathsugaku

11 hours

このアニメかなり面白い。こういうのが好き。

0

1

アサイチ

@mathmathsugaku

11 hours

幾何学凄いよなぁ。色んな道具使ってて楽しいね。

0

1

アサイチ

@mathmathsugaku

11 hours

荒川アンダーザブリッジ、物語シリーズすぎる(作画と主人公の声優だけだけど)

1

0

1

アサイチ

@mathmathsugaku

18 hours

シャフトめちゃくちゃ良い。

1

0

2

アサイチ

@mathmathsugaku

19 hours

幾何学をやりたい。具体的にはファイバー束とホモトピーを。

0

2

アサイチ

@mathmathsugaku

19 hours

俺もまた何か書きたいものだ。

0

2

アサイチ

@mathmathsugaku

19 hours

mathlogって素晴らしいね。

1

0

5

アサイチ

@mathmathsugaku

19 hours

一般に右随伴を持ち、その右随伴がfiltered colimitを保つならcompactな射は保たれるかな恐らく。

0

アサイチ

@mathmathsugaku

20 hours

小圏間の関手F:C→Dから左Kan拡張で得られる関手P(C)→P(D)はcompactな射を保つっぽいな。

1

0

アサイチ

@mathmathsugaku

22 hours

さらに有限表示加群上の有限表示加群の圏を考えることがあるんだ。

0

アサイチ

@mathmathsugaku

22 hours

加法圏上の加群の圏を考えるの凄い。

1

0

2

アサイチ

@mathmathsugaku

23 hours

証明した。まあ自明ではある。

0

1

アサイチ

@mathmathsugaku

23 hours

証明するか〜

1

0

1

アサイチ

@mathmathsugaku

23 hours

Setにおいてはκ-filtered colimitとκ-small limitが交換するの強い。

1

0

2

アサイチ

@mathmathsugaku

24 hours

重要かどうかは人によると思う。

0