引入完備化函子的定義,討論其與有限直和、矩陣環的關係及單*。
利用同調函子,在點標拓撲空間範疇中定義了同調單態、同調滿態、同調正則態*等概念。
正合列是模論中研究函子問題的基本工具。
給出了函子範疇中任意右正合保直和可加函子F與張量函子B自然等價的一個定理。