Mt.Fujiの記事一覧 | Mathlog

24

3829

現代数学解説

8日前

寓圏と初等トポスの定義

1

0

99

0

文献あり

現代数学解説

24日前

寓圏(Allegory)の定義と例

2

0

155

0

文献あり

大学数学基礎解説

31日前

関係合成の結合律と正則圏

0

0

89

0

文献あり

大学数学基礎解説

9月19日

圏論的二項関係の合成

2

0

173

0

文献あり

大学数学基礎解説

9月11日

順像と存在量化∃

2

0

226

0

文献あり

大学数学基礎解説

9月5日

cover、像、順像

1

0

142

0

文献あり

大学数学基礎解説

8月28日

引き戻しと逆像

0

0

243

0

文献あり

大学数学基礎解説

8月22日

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

1

0

136

1

文献あり

大学数学基礎解説

8月13日

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

圏論,集合論

1

0

355

0

文献あり

大学数学基礎解説

8月7日

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

0

0

219

0

文献あり

大学数学基礎解説

7月31日

部分対象の定義の観察

圏論,集合論

1

0

231

0

文献あり

勉強法・学習支援解説

6月13日

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

1

0

84

0

大学数学基礎解説

5月15日

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

0

0

187

0

文献あり

大学数学基礎解説

5月8日

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

圏論,集合論

8

0

1017

1

初心者マーク

初心者

文献あり

大学数学基礎解説

5月1日

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

4

0

473

0

初心者マーク

初心者

文献あり

読み込み中