○C-半环范畴 (2006年)

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