从相对正合2-范畴S出发，给出了2-范畴中拉回的若干性质．首先，证明了拉回在等价意义下是存在且唯一的；其次，设（A1×BA2，f1′，f′2，ξ）为f1......

考虑双单子Smash积的表示范畴.设F和G是给定的双单子,利用2-范畴方法讨论其Smash积GF上的张量结构,证明了GF的双单子结构与其表示......