用户讨论: Infinitecat/一些笔记2/导出完备化

一些问题

1.	“对 $\forall$” 是语病, 应去掉 “对”, 毕竟代码是 “for all”. 当然, 本来就不应该在自然语言中使用逻辑量词符号.
2.	最后导出完备化函子表达式那里不是 ${\mathrm{Ext}}^1$, 是 $R\mathrm{Hom}$.

哦你根本不用导出范畴, 用经典模的导出完备这个杂合物; 那还真是 ${\mathrm{Ext}}^1$.