双范畴

双范畴中的Yoneda引理

Yoneda引理作为范畴论的基本工具，其在双范畴框架中的表述引发了新的数学探讨。在这一更抽象的结构中，双范畴的0-胞代表范畴，但无法直接访问其对象。