Abstract
Around the year 1988, Joyal and Street established a graphical calculus for monoidal categories, which provides a firm foundation for many exploration......
小提示:本篇文献需要登录阅读全文,点击跳转登录