论拓扑斯的纤维积

在相对拓扑斯理论的框架下，我们证明了任意纤维化上的相对预层拓扑斯的拉回是其逆像上的相对预层拓扑斯。为此，我们发展并利用了一种沿典范函子对态射进行基变换扩张的概念。这提供了一种工具，用于比较直接（或逆）像的典范相对景与典范相对景的直接（或逆）像：尽管这些操作一般不交换，但我们证明，在直接像的情况下，它们通过一个索引弱几何态射相关联；而在逆像的情况下，它们可以通过一个笛卡尔函子进行比较，该函子诱导出一个合适的拓扑，使它们森田等价。