幺半群作用的Topos

我们研究幺半群在集合上的作用的 topos。我们从普通作用出发，构造出一类预层 topos 并刻画其特征。作为考虑拓扑幺半群的准备工作，我们拓展研究超紧生成 topos（一类严格大于预层 topos 的类）。这使我们能够高效地研究并刻画拓扑幺半群在集合上的连续作用的 topos，其中后者被视为离散空间。最后，我们将该刻画细化为一个超紧生成 topos 等价于此种形式的 topos 的充要条件。