关于分式S-系的一个注记

摘要

设S是交换幺半群，在S-系范畴中，借助拉回图的映射的单、满性，给出了分式函子(S-系范畴到分式S-系范畴)保持平坦性质的一个新证明，研究了分式函子与有向上极限之间的关系，给出了分式S-系具有覆盖的一个充分条件。

关键词

交换幺半群 / S-系 / 拉回图 / 平坦性质 / 有向上极限