新規作成
圏論
23
Contributors
28
Followers
ホーム
記事
本
全てのカテゴリ
作成日順
評価順
現代数学
解説
merliborn
2日前
コンマ圏なんもわからん
圏論
,
2圏論
1
0
73
0
文献あり
大学数学基礎
解説
底辺数学徒
2023年10月12日
加法圏での元を取らない5項補題の証明
圏論
,
ホモロジー代数
,
代数学
4
0
340
0
文献あり
大学数学基礎
解説
ななせひな
2023年10月11日
普遍性についての覚え書き
圏論
2
0
219
0
文献あり
現代数学
解説
merliborn
2023年7月17日
ノート:トポス (1) - 初等トポスは有限余完備である
圏論
,
トポス
,
モナド
3
0
183
0
文献あり
大学数学基礎
解説
K.Hirata
2022年12月24日
嘘記事書いてすみませんでした!
圏論
,
加法圏
,
2圏論
2
0
309
0
文献あり
大学数学基礎
議論
てらモス♋️
2022年12月16日
有限次元ベクトル空間の圏の骨格
圏論
,
線型代数
1
0
249
0
文献あり
大学数学基礎
解説
Re_menal
2022年12月12日
∞-groupoid は空間である ~Joyal の拡張定理の応用とその証明~
圏論
,
無限圏
6
0
736
0
文献あり
大学数学基礎
解説
Μίττον
2022年12月5日
Set圏におけるκ-limitとκ-filtered colimitの可換性は量化子の交換である
圏論
2
0
172
0
大学数学基礎
解説
くろの
2022年12月1日
極限と余積の交換
圏論
2
0
400
0
文献あり
大学数学基礎
解説
K.Hirata
2022年11月30日
前加法圏全体の圏 Ab-Cat から圏全体の圏 Cat への忘却関手
圏論
,
加法圏
,
モナド
3
0
372
0
大学数学基礎
解説
sh
2022年11月23日
定値関手と定値関手のコンマ圏は圏の積である
圏論
,
普遍性
,
大学数学
5
0
176
0
文献あり
大学数学基礎
解説
あお
2022年9月28日
本質部分加群の圏論的特徴づけ Part2
圏論
,
ホモロジー代数
,
加群論
1
0
70
0
文献あり
大学数学基礎
解説
あお
2022年9月23日
本質部分加群の圏論的特徴づけ Part1
圏論
,
ホモロジー代数
,
加群論
6
0
291
1
大学数学基礎
解説
spectrum
2022年5月16日
トポスに関する備忘録1
圏論
,
トポス
,
備忘録
1
0
136
0
文献あり
大学数学基礎
解説
sh
2022年2月26日
豊穣圏の導入 第3回: 豊穣圏をどのように定義すればよいか
圏論
,
モノイダル圏
,
豊穣圏
1
0
97
0
文献あり
大学数学基礎
解説
sh
2022年2月20日
豊穣圏の導入 第2回: 集合の圏は対称モノイダル閉圏をなす (前半)
圏論
,
モノイダル圏
1
0
97
0
文献あり
大学数学基礎
解説
sh
2022年2月19日
豊穣圏の導入 第1回: 集合の圏は有限積をもつ
圏論
1
0
566
0
文献あり
大学数学基礎
解説
くろの
2022年1月13日
モノイダル圏における左右単位子の一致
圏論
3
0
133
0
文献あり
応用数学
解説
merliborn
2021年12月17日
圏論から見るHaskellのApplicative
圏論
,
計算機科学
,
Haskell
4
0
609
0
文献あり
応用数学
解説
merliborn
2021年12月16日
圏論から見るHaskellのFunctor
圏論
,
計算機科学
,
Haskell
3
0
830
0
文献あり
読み込み中...
読み込み中