Reference172 articles.
1. I. Aitchison, String diagrams for non-abelian cocycle conditions, handwritten notes, talk presented at Louvain-la-neuve, Belgium, 1987.
2. J. Baez and J. Dolan, Higher-dimensional algebra and topological quantum field theory, J. Math. Phys. 36 (1995), 6073–6105.
3. J. Baez and J. Dolan, Higher-dimensional algebra III: n-categories and the algebra of opetopes, Advances in Math. 135 (1998), 145–206.
4. J. Baez and L. Langford, Higher-dimensional algebra IV: 2-tangles, Advances in Math. 180 (2003), 705–764.
5. J. Baez and M. Neuchl, Higher-dimensional algebra I: braided monoidal 2-categories, Advances in Math. 121 (1996), 196–244.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Encoding Dependently-Typed Constructions into Simple Type Theory;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
2. Kleisli enriched;Journal of Pure and Applied Algebra;2012-08