具有原子Co-良好化范畴的原子丘托

Schanuel丘托的原子可描述为有序对$(n,G)$，其中$n$为有限集合，$G$为$\operatorname{Aut}(n)$的子群。我们给出一个原子场 ensuring that该丘托原子可以类似方式描述的一般性准则。我们推导出这些丘托是局部 finitely presentable的。通过将其应用于Malitz-Gregory原子丘托，我们获得了一个反例，证明了每个局部 finitely presentable丘托都有足够点的猜想不成立。我们也阐述了一个恰当时，单子场对于原子拓扑的 pullback-preserving functor满足的组合数学性质。在这种情况下，原子范畴的描述尤其简单。