关于超紧与紧生成拓扑
On Supercompactly and Compactly Generated Toposes
摘要：
给出并刻画了具有足够多超紧对象或足够多紧对象的Grothendieck拓扑类。在这个过程中，我们研究了超紧对象和紧凑对象的子类别内，这些toposes和类的几何态射，以及与这些对象的互动。我们还提出了典型的类网站产生这样的toposes。
英文摘要：
We present and characterize the classes of Grothendieck toposes having enough supercompact objects or enough compact objects. In the process, we examine the subcategories of supercompact objects and compact objects within such toposes and classes of geometric morphism which interact well with these objects. We also present canonical classes of sites generating such toposes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
