可延伸子范畴与纤隆拓扑

我们利用点态 Kan 延伸生成新的子范畴。我们研究这些新制造的范畴的性质，给出其笛卡尔闭合成立的充分条件。我们的技术具有普遍适用性。本文特别将其用于纤隆拓扑空间范畴的性质研究。特别是，我们证明只要基空间满足适当的分离公理，纤隆紧致生成范畴、纤隆序列空间范畴和纤隆 Alexandroff 空间范畴都是笛卡尔闭合的。