検索結果
ナビゲーションに移動
検索に移動
- アーベル圏の著しい性質として'''加法圏'''になる事、すなわちアーベル圏の対象間の射の[[クラス (集合論)|クラス]]<math>\mathrm{Hom}(A,B)</math>がアーベル == 加法圏 == …25キロバイト (1,782 語) - 2024年6月28日 (金) 13:05
- [[Category:加法圏]] …5キロバイト (257 語) - 2017年5月22日 (月) 16:51
- …}} は[[前加法圏]]となり、さらにアーベル[[群の直和|群の有限直和]]が{{仮リンク|双積|en|biproduct}}となるから、実際には[[加法圏]]を成す。 …7キロバイト (289 語) - 2024年7月1日 (月) 10:04
- [[Category:加法圏]] …7キロバイト (603 語) - 2025年1月3日 (金) 08:45
- …tarrow A\oplus B\twoheadrightarrow B</math> の形をした系列を完全ということにすると、すべての{{仮リンク|加法圏|en|additive category}}も完全である。この過程は、可換モノイド <math>(\mathrm{Iso}(\mathcal{A}), …19キロバイト (897 語) - 2022年8月29日 (月) 12:25
- [[加法圏]] <math>\mathcal{A}</math> の[[圏 (数学)|対象]] {{mvar|X}} の[[圏 (数学)|射]] {{math|' …8キロバイト (626 語) - 2024年7月10日 (水) 12:21
- * 集合の圏 {{math|'''Set'''}} は[[アーベル圏|アーベル]]でも[[加法圏|加法的]]でも[[前加法圏|前加法的]]でもない。 右[[零射]]は空写像 {{math|∅ → ''X''}} で与えられる<ref>Section …9キロバイト (364 語) - 2022年8月19日 (金) 16:10
- …[[前加法圏]]においてこの射は同型射であり、対応する対象は{{仮リンク|双積|en|biproduct}}と呼ばれる。すべての有限双積をもつ圏は[[加法圏]]と呼ばれる。 …13キロバイト (699 語) - 2023年8月11日 (金) 15:23
- …math|''F'' : ''C'' → ''D''}} を圏同値とし、圏 {{mvar|C}} が[[前加法圏]]（あるいは{{仮リンク|加法圏|en|additive category}}、[[アーベル圏]]）ならば関手 {{mvar|F}} が加法的になるようにして圏 {{mvar|D}} …22キロバイト (2,445 語) - 2023年1月10日 (火) 14:27
- 46キロバイト (3,800 語) - 2024年2月9日 (金) 14:46
- さらに、''C''と''D''を[[加法圏]](つまり、前加法圏であり有限[[双積]]をもつ)とすると、任意の随伴関手の対は自動的に加法的となる。 …55キロバイト (3,063 語) - 2023年8月11日 (金) 15:45