面向调用-推值模型的逻辑关系，通过2类别中的内部纤维

我们给出了一种对调用-推值（CBPV）的逻辑关系的 denotational account，采用Hermida、Jacobs、Katsumata等人的纤维化风格。纤维化——规范化集合带关系的常规概念——为构建新的类逻辑关系风格的模型提供了干净的框架。此类模型可用于研究属性如 effect simulation。将这一图景扩展到CBPV具有挑战性：模型包含 adjunction 和 enrichment，使适当的纤维化概念不清晰。我们采用2类别理论来处理这一问题。我们识别了一个适当的2类别，并定义CBPV纤维化为严格保保持CBPV语义的该2类别中的纤维化。接下来，我们发展理论，使其与经典setting平行。我们给出codomain和subobject纤维化的版本，表明新的模型可通过 pullback 从旧模型中构建。 resulting framework enables the construction of new, logical relations-style, models for CBPV。最后，我们通过具体例子演示了我们方法的实用性。这些包括对Katsumata的 $\top\top$-lifting 在CBPV模型中的一般化、一个 effect simulation 结果，以及CBPV无sum类型相对于完整性的相对结果。