<正> 我们为了今后的需要想弄清拓扑代数上的拓扑模构成什么性质的范畴,以及在这种范畴上是否能建立同调代数的基本函子.[8]中讨论了在拓扑模范畴上建立 E_xt~n 与 Torn的问题,但他使用的是相对范畴,要求正合序列(?)-分裂,还有些数学工作者在讨论 Banach模时(例见[12],[13])也要加上类似的条件.但这种条件似乎不太自然.Palamodor 在[15]中引入了半 abel 范畴,但单靠半 abel 范畴本身的结构不足以得到 E_xt~n 函子,必须