建立了○C-半环范畴的概念,讨论了○C-半环范畴的一些基本性质,并且给出自由○C-半环的一种构造方法,进而,给出了任意一族○C-半环的积与上积的存在唯一性定理。