相对伪单子代数的双范畴

我们引入相对伪单子的伪代数并发展其理论。对于每个相对伪单子 $T$，我们构造一个自由-忘记相对伪偶范，其展示了 $T$-伪代数双范畴作为 $T$解决方案的终范畴。因此，$T$的克莱斯利双范畴嵌入到伪代数双范畴作为自由伪代数的子双范畴。我们随之获得了一个涵盖例如：制istributor 双范畴与预法布尔范畴 2-范畴之间 biequivalence 的一致性定理。在此过程中，我们扩展了相对伪单子的若干方面理论，包括 doctrinal 偶配、结构传递以及 lax-幂等性。作为一般理论的应用，我们证明了对于每个类公限 $\Phi$，自由 $\Phi$-余完备性相对的单子与自由 $\Phi$-余完备性上的 $\Phi$-余连续单子之间存在对应关系。