Mt.Fujiの記事一覧 | Mathlog

17

3147

大学数学基礎解説

7日前

順像と存在量化∃

0

0

129

0

文献あり

大学数学基礎解説

12日前

cover、像、順像

1

0

129

0

文献あり

大学数学基礎解説

20日前

引き戻しと逆像

0

0

229

0

文献あり

大学数学基礎解説

26日前

spanで読み解く引き戻しのpasting lemma

1

0

136

1

文献あり

大学数学基礎解説

8月13日

写像のグラフと射のグラフ

圏論,集合論

1

0

348

0

文献あり

大学数学基礎解説

8月7日

n-table、n項関係、有限極限

0

0

219

0

文献あり

大学数学基礎解説

7月31日

部分対象の定義の観察

圏論,集合論

1

0

218

0

文献あり

勉強法・学習支援解説

6月13日

LaTeXの断片を生成AIでMathlog用のMarkdownに変換する際のプロンプト

1

0

84

0

大学数学基礎解説

5月15日

選択公理を使わない弱い圏同値の定義

0

0

187

0

文献あり

大学数学基礎解説

5月8日

なぜ集合と写像の圏では単射の双対は全射になってしまうのか

圏論,集合論

8

0

995

1

初心者マーク

初心者

文献あり

大学数学基礎解説

5月1日

対象のクラス間写像に基づく圏の構成の紹介

4

0

473

0

初心者マーク

初心者

文献あり

読み込み中