透置型：技术报告
摘要：为了给transpension类型（Nuyts和Devriese，Transpension：Pi型的右伴随，预印本，2023）提供一个范畴语义，这些笔记的目的是为了。在第2节中，我们讨论一些先决条件。在第3节中，我们定义乘法器并讨论它们的性质。在第4节中，我们研究了乘法器如何从基础类别提升到预层类别。在第5节中，我们解释了在transpension类型存在的情况下如何使用典型的预层模态。在第6节中，我们研究了以前的模态、替换模态和乘法器模态的交换性质。
作者：Andreas Nuyts (KU Leuven)
论文ID：2008.08530
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-05-29