学术文献库

论文标题

曲折作为当地几何形态的概括

Triposes as a Generalization of Localic Geometric Morphisms

论文作者

Frey, J., Streicher, T.

论文摘要

我们讨论如何将三角体理解为当地几何形态的概括。

We discuss how triposes may be understood as generalizations of localic geometric morphisms.