Home
2025-08-14
note
Differential Graded
2025-08-13
collection
五笔输入法备忘录
2025-08-12
note
CT5
2025-08-04
note
CT4
2025-07-31
note
Topological Six Functors
2025-07-27
note
CT3
2025-07-25
note
CT2
2025-07-22
note
CT1
2025-07-20
note
CT0
2025-07-20
seminare
Seminare on Cotorsion Theory
2025-07-08
notes
Notes on Completion of Triangulated Categories
2025-06-30
caprice
A Note on Quillen's Model Structure
2025-06-22
note
DG 范畴与消解
2025-06-06
notes
A Note on Brown Representability
2025-05-23
lec
2025-05-23-讨论班
2025-05-23
caprice
On Diagrams Lemmas of Ex-$\triangle$ Cats
2025-05-21
proof
Cotorsion Pair 的特殊逼近是稳定伴随
2025-05-21
proof
外三角范畴 Hovey cotorsion pair 的弱化条件
2025-05-21
proof
外三角范畴的 cotorsion pair 的性质
2025-05-21
proof
八面体公理的等价定义
2025-05-21
proof
$i ∈ 𝐈𝐧𝐟 ⇒ \binom if ∈ 𝐈𝐧𝐟$
2025-05-21
note
外三角范畴的商
2025-05-21
proof
外三角范畴的同伦的推出拉回
2025-05-21
proof
完备 cotorsion pair 的单边定义
2025-05-21
notes
外三角范畴 ET3 类似物
2025-05-21
proof
外三角范畴的 $4 × 4$ 引理
2025-05-20
caprice
Model Structures on Extriangulated Cateogory
2025-05-16
lec
2025-05-16-讨论班
2025-05-16
caprice
模型范畴速记
2025-05-14
外三角范畴 (2025-05-15 讲稿)
2025-05-13
notes
正合范畴的重要结论 (精简版)
2025-05-12
proof
八面体公理的等价定义
2025-05-12
proof
特殊的同伦推出拉回
2025-05-12
caprice
正合范畴
2025-05-11
caprice
(线性代数) C-特征空间
2025-05-10
proof
局部化与积范畴交换
2025-05-10
proof
局部化函子的拉回是全忠实的
2025-05-10
proof
函子范畴的 Curry 化
2025-05-10
proof
若 $S$ 对直和封闭, 则局部化是加法函子
2025-05-10
note
三角范畴的定义, 八面体公理
2025-05-10
caprice
外三角范畴 (基本定义?)
2025-05-10
others
Unicode Math Table
2025-05-10
collection
Useful Tools
2025-05-09
lec
2025-05-09-讨论班
2025-05-09
proof
稳定加法范畴
2025-05-09
caprice
Gabriel-Zisman 局部化
2025-05-09
notes
加法范畴的局部化
2025-05-09
caprice
NBGC
2025-05-07
proof
预投射分支的态射单向性
2025-05-07
proof
预投射对象的左起点是投射单对象
2025-05-07
proof
对无限表示代数, $Γ(A)$ 各分支均无限
2025-05-06
notespending
Bound quiver 的预投射分支未必存在
2025-05-06
example
投射模所在的分支有环
2025-05-06
example
预投射分支可能不唯一
2025-05-06
proof
预投射 (预内射) 模是自垂直的 brick
2025-05-06
proof
预投射部分左有界
2025-05-05
proof
Kronecker quiver 的 regular 模
2025-05-05
proof
Kronecker quiver 中预投射与预内射模的维数向量
2025-05-05
proof
$C_i^- (P_i) ≃ τ ⁻¹ (P_i)$
2025-05-05
proof
$C^± ∼ τ ^±$
2025-05-04
notespending
Kronecker quiver 的不可分解表示
2025-05-04
proof
投射模, 内射模在 Coxeter 反射下的表现
2025-05-04
proof
左遗传但非右遗传环的例子
2025-05-04
proof
遗传代数等价定义的证明
2025-05-04
proof
Coxeter 反射几乎保持不可分解对象
2025-05-04
proof
$C^-_i ⊣ C^+_i$
2025-05-04
proof
完全 Coxeter 反射存在且唯一
2025-05-04
proof
$Γ (A)$ 投射部分的态射
2025-05-04
proof
有限表示代数的 AR quiver 无重边
2025-05-04
notes
遗传代数与箭图
2025-05-04
caprice
Coxeter 反射简介
2025-05-03
caprice
有限表现模, 投射模, 内射模, 平坦模的结构
2025-05-03
proof
生成元的等价定义
2025-05-03
notes
生成元的性质
2025-05-03
caprice
分析学中的 Mittag-Leffler 定理
2025-05-03
caprice
谈谈遗忘函子
2025-05-01
proof
$(1-m)$ 满的充分条件
2025-05-01
proof
$\varprojlim{}_{ℕ}^1$ 是右导出极限
2025-05-01
proof
$\varprojlim{}_{ℕ}^0 = \varprojlim{}_{ℕ}$
2025-05-01
proof
模范畴中 Mittag-Leffler 条件蕴含 $\varprojlim{}^1$ 消失
2025-04-29
proof
Happel 的导出等价定理 (第一部分证明)
2025-04-29
proof
Tilting 模维数无关左右
2025-04-29
proof
对偶 tilting 模的相对分解
2025-04-29
proof
BB 谱序列
2025-04-29
notes
$\varprojlim{}_{ℕ}^1$ 消失的充分条件
2025-04-29
proof
$\varprojlim$ 与 $\mathrm{Ext}$ 的正合列
2025-04-29
example
AB5 下 $\varinjlim{}_{-1}$ 消失
2025-04-28
example
$E_1 ⇏ H$ 的反例
2025-04-28
proof
六引理 ($\ker$-$\operatorname{cok}$ 序列)
2025-04-28
proof
上有界复形存在上有界投射分解
2025-04-28
proof
九引理 ($3 × 3$ 序列)
2025-04-28
proof
Kunneth 谱序列
2025-04-28
proof
马蹄引理
2025-04-28
proof
Grothendieck 谱序列
2025-04-28
proof
同调代数基本定理
2025-04-28
proof
四引理 (推出拉回)
2025-04-28
proof
五引理
2025-04-28
proof
前五项
2025-04-28
proof
从 $E_2$ 得到长正合列的小技巧
2025-04-28
proof
AR $\mathrm{Tor}_{≥ n}$
2025-04-28
proof
AR 缺陷公式
2025-04-27
proof
遗传范畴的 tilting 对象给出 $𝐦𝐨𝐝_{B}$ 的可裂 torsion pair
2025-04-27
notespending
Happel 的导出等价定理
2025-04-27
notes
遗传范畴与可裂 torsion pair
2025-04-27
proof
$\mathrm{Gr}(f)$ 是同构当且仅当 $𝐟$ 是同构
2025-04-27
proof
滤过完备化的性质
2025-04-27
caprice
滤过完备当且仅当 $\varprojlim {}^1$ 消失
2025-04-27
notes
关于谱序列与滤过复形等
2025-04-27
caprice
完备化, 滤过复形
2025-04-27
notes
On a lemma of Harada-Sai
2025-04-26
proof
APR tilting 模的定义
2025-04-26
proof
$𝔓$ 是 $ℤ 𝔓$ 的截面
2025-04-26
example
$D_4$ 与交换图方块代数.
2025-04-26
notes
有限维代数的预投射部分
2025-04-25
lec
2025-04-25-讨论班
2025-04-25
proof
Gabriel 主定理 (II)
2025-04-25
proof
Gabriel 主定理 (I)
2025-04-25
fact
有限型与仿射型 Dynkin 图
2025-04-24
proof
$\dim M$ 与 $\dim (T,M)$
2025-04-24
proof
遗传范畴的 $\mathrm{Hom}_{D𝒜}(-,-)$.
2025-04-24
proof
$\dim A$ 与 $\dim \mathrm{End}(T_A)$
2025-04-24
caprice
关于轨道的若干结论
2025-04-24
proof
Canonical Resolution of Quiver algebra
2025-04-24
proof
$\dim 𝐫𝐞𝐩(𝐯) - \dim \ [M] = \dim \mathrm{Ext}^1(M,M)$
2025-04-24
notes
Proof of Gabriel's Theorem
2025-04-23
proof
$𝐜𝐨𝐠$ 与 $𝐠𝐞𝐧$ 的等价定义
2025-04-23
proof
Torsion Class 与 $\mathrm{Ext}^1$
2025-04-23
proof
Tilting 对象与 torsion pair
2025-04-23
proof
局部 tilting 模诱导的 torsion pair
2025-04-23
notes
遗传范畴的满-单分解补全作 PBPO
2025-04-23
proof
$𝐠𝐞𝐧 = 𝐓$ 或 $𝐜𝐨𝐠 = 𝐅$ 的充分条件
2025-04-23
proof
AR 公式
2025-04-22
proof
Torsion Pair 等价定义
2025-04-22
proof
上同调函子保持弱核
2025-04-21
proof
米田嵌入是上同调函子
2025-04-21
notes
具有投射盖的平坦对象必投射
2025-04-21
proof
$𝐦𝐨𝐝_𝒯$ 是 Frobenius 范畴
2025-04-21
Proof of Lazard's Theorem
2025-04-21
notes
Finitely Presented Flat is Projective
2025-04-21
proof
$𝐅𝐩 → 𝐏𝐥𝐚𝐭 → 𝐏𝐫𝐨𝐣$
2025-04-21
notes
Equivalent Definitions of Finitely Presented Functor
2025-04-21
proof
有可数积或可数余积的三角范畴必 Karoubi
2025-04-21
proof
余反射子范畴与反变有限子范畴
2025-04-21
exam
2025-04-24 试卷讲评与习题课
2025-04-21
exam
2025-04-21 试卷
2025-04-21
proof
几乎可裂态射的结构
2025-04-20
notes
Notes on Classical Tilting Theory
2025-04-20
latex
$\LaTeX$ Template (v 1.3.0)
2025-04-20
notes
Notes on Reflexive Subcategories
2025-04-20
proof
合冲-逼近伴随 (稳定范畴中)
2025-04-20
proof
$Ω(\underline{𝐦𝐨𝐝_A}) ≃ \underline{𝐬𝐮𝐛(A)}$
2025-04-20
proof
Top_Surjective
2025-04-19
proof
存在左 $𝐩𝐫𝐨𝐣$-逼近
2025-04-19
proof
Torsionless 模的等价定义
2025-04-19
proof
左投射逼近的等价命题
2025-04-19
notes
Notes on AR theory
2025-04-18
lec
2025-04-18-讨论班
2025-03-28
lec
2025-03-28-讨论班
2025-03-21
seminare
Friday Seminare in 2025 Spring
2025-03-21
lec
2025-03-21-讨论班
Home