自由球状生成双范畴 II：典范双投影

本文是研究自由球状生成双范畴的两篇系列论文的第二篇。我们引入典范双投影构造。典范双投影将信息从自由球状生成双范畴翻译到由同一组球状与竖直数据定义的双范畴。我们利用典范双投影定义 Haagerup 标准形与 Connes 融合运算到因子之间可能无限指标态射的相容形式线性函子扩张。我们利用典范双投影证明自由球状生成双范畴构造左伴随于装饰水平化。因此我们可将自由球状生成双范畴解释为五元组双范畴的形式装饰类比，以及内化的生成元。